Path induction for evaluating sequential allocation procedures