highlighting works for nogood graph (the one without cnodes)
switching constr.graph/diff. graph simplified
occurrence filter implemented