added constant basic propagation analysis