BUG: Exit if no IREL_CFG is provided