# find the global minimum and propagate it back down the tree
ROOT:   $/.gmin        = { $/.min }
Branch: $<left>.gmin   = { $/.gmin }
      | $<right>.gmin) = { $/.gmin }
                     ^
                     |
                    this is superfluous