# File lib/type_checker.rb, line 663
  def process_ivar(exp)
    name = exp.shift

    var_type = @env.lookup name rescue nil
    if var_type.nil? then
      var_type = Type.unknown
      @env.add name, var_type
    end

    return t(:ivar, name, var_type)
  end