/** Adds the rules for a given function. */ void addDiffRule(DiffRulesI rule) { diffRules.put(rule.getName(), rule); if (DEBUG) System.out.println("Adding rule for " + rule.getName()); }