Module that is used to verify constraints are met.

These constraints allow for very complex and specifc strategies to be enacted by allowing users to specify context values to include or exclude.