public static void RenameConstant(this Parser parser, String oldName, String newName) { parser.Context.RenameConstant(oldName, newName); }