fix inference pushdown propagation bugs