extend verifier to check all register constraints
drwxr-xr-x - ir