Add alternating search procedures to Probe?

[THinnerichs]

Nikolai used an alternating iterator in his thesis (link to thesis, see Section 6.2):

Neither the Probe paper nor the current implementation do this at the moment. However, it might be a nice addition to allow for better search space exploration before exploiting programs.