Try to clarify some constrainted tree aut defns