anchor.diff:  
   -module(prime).
   
  --compile({no_auto_import,[get/1]}).
  -%-compile(export_all).
  -
   -include("record_helpers.hrl").
   -include("scalaris.hrl").
   
  
positive.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec tester_create_prime_list(1..2500) -> prime_list().
  tester_create_prime_list(N) -> get(N).
  
  -spec tester_create_rev_prime_list(1..2500) -> rev_prime_list().
  tester_create_rev_prime_list(N) -> lists:reverse(tester_create_prime_list(N)).
  
negative.code: is_prime(V) when V =< ?PrimeCache ->
      is_prime_p(V, prime_cache());
  is_prime(V) ->
      is_prime_p(V, ?MODULE:get(V)).
  
  -spec is_prime_p(pos_integer(), prime_list() | rev_prime_list()) -> boolean().
  is_prime_p(V, Primes) ->
  