with the help of steve, finally figured out how to distinguish flow-sensitive-path-sensitive, flow-sensitive-path-insensitive, and flow-insensitive analyses. monad stacks implemented, along with new constraint machinery. next up is running interesting examples