Policy Enforcer

Test calldata against a policy to check whether it satisfies the constraints.