public static void addWarning(AstElement e, String msg) {
   WLogger.info("Adding warning: " + msg);
   addErrorOrWarning(e, msg, ErrorType.WARNING);
 }
 public static void addError(AstElement e, String msg) {
   WLogger.info("Adding error: " + msg);
   addErrorOrWarning(e, msg, ErrorType.ERROR);
 }