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