retrieval of known markers for rules in RuleUtil.java