removing obsolete
pure lite CFG
no analysis at all if nothing is inferrable
minor local optimization
more precise time measurement