val left: DirFormula
Overrides Binary.left
The child of this element which is the root of the left subtree.