# 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