add analyzing SESE effects. generate read&write set for each live-in variable.
drwxr-xr-x - CVSROOT
drwxr-xr-x - Robust