let mk_crit_examines_calls ff call_out_marks =
   mk_ff_crit ff (T.CcExamineCalls call_out_marks)