# File lib/type_checker.rb, line 884
  def process_super(exp)
    args = process exp.shift
    # TODO try to look up the method in our superclass?
    return t(:super, args, Type.unknown)
  end