Delete a couple of duplicated `unit/1` predicate clauses in the unit tests of the `tabling` example