Refactoring MoveToInnerAst