public boolean handleUnresolvedVariableExpression(VariableExpression vexp) {
   for (TypeCheckingExtension handler : handlers) {
     if (handler.handleUnresolvedVariableExpression(vexp)) return true;
   }
   return false;
 }