Moving the [split] tactic out of the AST.