1 helper_expt_is_theta
2 fn_expt_is_theta
3 loop_is_helper_expt
4 program_is_fn_expt
5 program_correct_expt
6 total_correctness_expt
