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