Re #10681 Fully extracted Mari Reduction

and system tests work fine.