Macros for checking JEC closure