# File lib/type_checker.rb, line 768
  def process_op_asgn_or(exp)
    ivar = process exp.shift
    iasgn = process exp.shift
    body = process exp.shift
    # TODO: probably need to unify all three? or at least the first two...
    return t(:op_asgn_or, ivar, iasgn, body)
  end