Added small macro for checking constraints