Correction of a translation error.
Methods to test the properties about Independent Sets added.
Methods about cliques added in VerticesSet.
Integer changed in int when possible.