Region based WCET on enhanced CFG now works