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