anchor.diff: -%% @copyright 2012-2013 Zuse Institute Berlin
  +%% @copyright 2012-2014 Zuse Institute Berlin
   
   %   Licensed under the Apache License, Version 2.0 (the "License");
   %   you may not use this file except in compliance with the License.
  
positive.code:     tester:unregister_type_checker({typedef, intervals, interval}),
      tester:unregister_type_checker({typedef, intervals, continuous_interval}),
      tester:unregister_type_checker({typedef, intervals, non_empty_interval}),
      true.
  
  tester_type_check_tx(_Config) ->
  
negative.code:     tester:unregister_value_creator({typedef, intervals, simple_interval}),
      tester:unregister_value_creator({typedef, intervals, continuous_interval}),
      tester:unregister_value_creator({typedef, prime, prime_list}),
      tester:unregister_value_creator({typedef, prime, rev_prime_list}),
      true.
  
  tester_type_check_node(_Config) ->
  