Revise RhsSet API;  fix RuleUtil.getSymbolsByName; simplify TmaRule AST class