*_aut_op: formatting
explicit_tree_aut_op: add documentation
cli/operations: formatting
rename UnionDisjunctStates -> UnionDisjointStates