Rewrite breakoint graph. Fix bugs. Start introduce pseudo edges.