Fix: the 2-arity of AND and OR was not respected. Builds OR and AND-trees.