Now scheme "Non-Abelian Group => Non-Abelian Group => Non-Abelian Simplifier" produces incorrect Space.
But scheme "Non-Abelian Group => Non-Abelian Simplifier => Non-Abelian Group => Non-Abelian Simplifier" (probably) works fine.
I guess, there is two possible ways to solve problem:
Now scheme "Non-Abelian Group => Non-Abelian Group => Non-Abelian Simplifier" produces incorrect Space. But scheme "Non-Abelian Group => Non-Abelian Simplifier => Non-Abelian Group => Non-Abelian Simplifier" (probably) works fine. I guess, there is two possible ways to solve problem: