Fixed: missing loopcheck in MWI