- The relations hasFirst and hasLast of each restriction is considered
- In process of verifying the restrictions in the sequences