is_prime code + test file in sml