Update v1 model in roundtrip to inverse negated preconditions