(HasOneUse $mul_out),
   (HasOneUse $add_out),
   (HasOneUse $erf_out),
   (HasOneUse $mul_out1),
  ]>;

// Fetches the output of FC op, from the provided arguments.
def GetFcOutput : NativeCodeCall<
  "GetFcOutput(&$_builder, $0, $1, $2, $3, $4, $5, $6, $7)">;

// Verifies all values in the provided argument are zero.
def AllValuesAreZero :  Constraint<CPred<"AllValuesAreZero($0)">>;