Constraint for granular Argument verification.
Matthias Geisler
Resolves if the constraint matches the given Proxy Argument.