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