Added while predicate negation to OCNG