Class, interval, constant propagation