bugfix: circle of tree node view was not centered in iOS 7
equivalence transformation xor, iff