Fix aliasing memory locations that directly abut but do not overlap
Fix blockage by memory intrinsics and load-from-const path
Add a passlet to commit synthesise loop invariants where necessary before committing the iterations, and properly implement new-style FD values