Predicate$1(system: RuleSystem ): boolean