(runGraphC): Introduce `binaryNode' to factor out common parts.
(runGraphC): Introduce `binaryNode' to factor out common parts.

Now all graph nodes are constructed the same.

rbonifacio/funsat,rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat,rbonifacio/funsat,dbueno/funsat