# File lib/type_checker.rb, line 900
  def process_while(exp)
    cond = process exp.shift
    body = process exp.shift
    is_precondition = exp.shift
    Type.bool.unify cond.sexp_type
    return t(:while, cond, body, is_precondition)
  end