Generalization of the inner iterations algorithm. Add automatic recursive independent set decomposition. Clean up the naming and the API for inner iterations. Change-Id: I3d7d6babb9756842d7367e14b7279d2df98fb724