add support for negation in preconditions