# File lib/type_checker.rb, line 526
  def process_ensure(exp)
    res = process exp.shift
    ens = process exp.shift

    t(:ensure, res, ens)
  end