This day starts almost exactly like yesterday: I woke up, got breakfast and started hacking on flow analysis in mcs.
It's really difficult, but I think I finally got at least reachability right. That's the code which determines whether some statement/block is reachable or not etc. However, reachability is not only used to eliminate dead code. It's also neccessary to check whether a method always returns a value, for instance.