let mk_crit_missing_outputs ff call (output_marks, more_outputs) =
  mk_ff_crit ff (T.CcMissingOutputs (call, output_marks, more_outputs))