# File lib/type_checker.rb, line 836
  def process_return(exp)
    result = t(:return, Type.void) # TODO why void - cuz this is a keyword
    result << process(exp.shift) unless exp.empty?
    return result
  end