Added a tool to check/enforce constraint signatures
Trying to make