Finished PointerCFG construction. Maybe add empty node elimination?
Added Env, Store, Kont, and PtsSet. They are all functional!