An ordering heuristic to develop the binary decision diagram based on structural importance · Study