Sanity check before adding load/store flag info