Liveness

speed up dataflow analyses;
several bug fixes (e.g., nullpointer in dumpcfg)
add deadcode analysis (deadstore)
plus several improvements