S -> ... a b ...
S -> ... a A b ...        ====> a = b
                                NEM:   b = a
NEM:   S -> ... A B ...

A -> .... a B ....
B -> (E) d ....

F -> .... G h ....
G -> ...... j (K)

         A                          S -> A a b B | d d B c
    ... a    B ...                  A -> a S a   | a b
           E d ...                  B -> b | d b | a d

         F
    ... G     h .....
      ... j K

    a   b   c   d   h   #
a       =       <       >
b                       >
c                       >
d                       >
j                   >   >
#   <   <   <   <   <