Modified the loop-region-merging pass to use messages instead of local facts

this allows information to be passed in between modules.