
 g-h map
  ghmap[0,0].size = 3
  bdd: 
  <1:0, 3:0, 7:1>

  ghmap[1,-1].size = 3
  bdd:
  <1:0, 3:1, 7:1>
  <1:1, 7:1>

  ghmap[1,0].size = 4
  bdd:
  <1:0, 3:0, 5:0, 7:0>

  ghmap[1,1].size = 4
  bdd:
  <1:0, 3:0, 5:1, 7:0>

  ghmap[2,-1].size = 4
  bdd:
  <1:0, 3:1, 5:0, 7:0>
  <1:1, 5:0, 7:0>

  ghmap[2,0].size = 4
  bdd:
  <1:0, 3:1, 5:1, 7:0>
  <1:1, 5:1, 7:0>
