Details
-
Bug
-
Resolution: Done
-
Major
-
None
Description
Person(a==1)
List from Person(a==1)
Both Person patterns and the literal restrictions inside them had the same bath. Because of this the Verifier handled them as a same object and the first ones were lost.