Fix numbering of the unit tests for the `op/3` standard predicate