Utility:
* arithmetic_tree and logic_tree partial implementations