let
mk_crit_choose_call ff call = mk_ff_crit ff (
T
.
CcChooseCall
call)