Added a test that checks whether constraints against numerical diff.