adding constraint diagnostics