code: @Override
  	public void undefinedIdentifier(String id, String exprName) {
  		reporter.error(prefix(exprName), "Undefined identifier '", id, "'");
  	}
docs: /*
  (non-Javadoc)
  @see com.github.misberner.duzzt.DuzztDiagnosticListener#undefinedIdentifier(java.lang.String, java.lang.String)