# File lib/rewriter.rb, line 281
  def process_until(exp)
    cond = process s(:not, exp.shift)
    body = process exp.shift
    raise "boo" if exp.empty?
    is_precondition = exp.shift
    s(:while, cond, body, is_precondition)
  end