This is the conservative and fast solution. We would get better results
if we would follow all Sync predecessors and ensure there is a store on
all of them (or after a join point).