Add support for pessimistic formulations

[whart222]

Existing methods in PAO only apply to optimistic formulations, where the follower can select their best-possible alternatives when multiple solutions have the same value. We need to consider pessimistic formulations as well.