poisoned!
interprocedural constant propagation!
refactoring, live variables