Class, interval, constant propagation
