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