Fixed some global analysis and loop issues with hoisting and the deleting monotonic checks