# File lib/type_checker.rb, line 406
  def process_cvasgn(exp)
    name = exp.shift
    val = process exp.shift
    return t(:cvasgn, name, val, Type.unknown)
  end