# File rinject.rb, line 253
  def add(vf)
    @verification_failures.push(vf)
    if not self.has_case(vf.fid)
      @case_failures.push(CaseFailure.new(vf.fid, vf.caseerror))
    end
  end