Some simple style fixes and stubbing out of prop_circuitGraphIsTree.
Some simple style fixes and stubbing out of prop_circuitGraphIsTree.

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