Added a counter graph.
Replaced checkVarIndexSetsForConjunction and
checkVarIndexSetsForDisjunction by CounterGraph functions.
Some commit.
Fixed implementation of algorithm.
Fixed.
Added test.
Fixed algorithm for range2 and range3.
Fixed algorithm for range.