let mk_crit_change_call ff call f = mk_ff_crit ff (T.CcChangeCall (call, f))