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