Implemented unique/2 predicate to be used for latter verifications