Detach the non-store-preserving nodes from CFG in semi-sparse analysis.
This simple modification fixed all existing bugs found in semi-sparse analysis.