backup drawing simple tree; sorting expression
added implementation of commutative law