Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees