stepping tweak: still call expandTermTreeToFinal on existing terms