# File lib/type_checker.rb, line 738 def process_lvar(exp) name = exp.shift t = @env.lookup name return t(:lvar, name, t) end