# File rinject.rb, line 369
def fail(id, verificationerror, caseerror, expression, type)
  @failures.add(VerificationFailure.new(id,verificationerror, caseerror,expression,type))
end