Weird bug:
e.g.: a => C b d C ;
      b => b F|%;
      d => d H|%;
the table it generated is not right.