fix the reduction and fixed value propagation for models with extra nodes