Value propagation: Make stack length an expression