TODO list

• Implement OrderedSet type
• Implement iterate method
• Implement Tuple type
• Implement Product method
• Implement couple for forAll and exists method
• Check all operators
• Add test to lists

Limitations

• The scope of all iterate operations is limited to the variable of the previous iteration

and no other variable coming from the context are used.

• Operations cannot be applied to built-in lists.