def print_func_rules(): for i in (r for r in rules if r.concl.name not in SpecialPredicates.list_all()): print(i)
def count_rule_kinds(): c = lambda name: print(str(name) + ": " + str(len([r for r in rules if r.concl.name == name]))) list(map(c, SpecialPredicates.list_all())) print("funcs: " + str(len([r for r in rules if r.concl.name not in SpecialPredicates.list_all()])) + '\n')