. . . "S is a running variable used to keep track of how many configurations of B subtrees have been evaluated by the loop." .