Fix a bug in asserting predicate rules using the `asserta/1` and `assertz/1` built-in methods