fix bug in mkConflGraph where it might inadvertently introduce conflicts commented in a bunch of tracing
fix bug in mkConflGraph where it might inadvertently introduce conflicts
commented in a bunch of tracing

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