- improve itercfg method and lbackward CFG reconstruction
 - improve widening/fixpoint in computation of func's map
 - improve pretty printing methods
 - start merging ui.graphics packages