Implementations for algorithms such as constant propagation and 0-CFA (zero CFA).