Add unit tests for the ISO Prolog `current_op/3` and `op/3` built-in predicates