Add unit tests for ISO Prolog abolish/1 built-in predicate