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