Re #10705 Almost all works fine

(may be some odd issue remain) How well this stuff relates to working reduction is still the question.