explicit_tree_aut_op.hh: formating
tests: fix a bug