Adding not-equal fact for logic problems