fixed missing precondition id on negations