Added independent set reduction code.