While the internal semantics of "forall( A() B() )" is the same as "not( A() and not( B() ) )", at the syntactical level we have a ForallDescr and the round trip marshalling should work with the ForallDescr.
- clones
-
RHPAM-201 DRL->Guided Rule round trip marshalling should work with the ForallDescr
- Closed