Fix cond type propagation