added is_independence_irreducible prop