# File lib/type_checker.rb, line 796
  def process_resbody(exp)
    o1 = process exp.shift
    o2 = process exp.shift
    o3 = exp.empty? ? nil : process(exp.shift)

    result = t(:resbody, Type.unknown) # void?
    result << o1
    result << o2 unless o2.nil?
    result << o3 unless o3.nil?
    
    return result
  end