Job progress is badly computed

The main problem is that when a PopLevelProgressEvent is immediately followed by a StepProgressEvent the step progress is taken into account twice. Take for instance this use case:

push(2)
  push(1)
  step
  pop
// --> here is the problem
step
step
pop

Since the first pop updates the progress, the following StepProgressEvent should be ignored.