Coded the first step of CFG slicer -- Part-of-slice Transitions Enrichment Step. Now working on State Merging Step and still completing rule 1.
Change StatesMerger to be an agent (static methods changed to instance methods)