Renaming test.dsl -> is_prime_test.dsl