let mk_crit_missing_inputs ff call (input_marks, more_inputs) = mk_ff_crit ff (T.CcMissingInputs (call, input_marks, more_inputs))