Symbol: fail_point_eval_nontrivial