Andrews-Curtis correction: Decoupled distribution on presentations, moves and continuation
some interface ingredients