If the terminal does match, the algorithm increments the rule.
for each possible value of l k+2 , the algorithm constructs a new agenda item containing the same contents as the old agenda item, but with rule position k + 1.