Implementation of left cosets enumeration.