Load-Store distinction completed version 1. Beaware of BasicBlock.h