verify_equivalence_candidate_af174c69_v2.ts