added critical_independence_number invariant