prevent XSB from returning duplicate tuples in state