private static void assertUnsafe(RuleValidator validator) {
   assertTrue(validator.getAllUnlimitedVariables().size() > 0);
 }
 private static void assertContains(RuleValidator validator, String variable) {
   assertTrue(validator.getAllUnlimitedVariables().contains(TERM.createVariable(variable)));
 }