Experiment with guards stored as vectors
Experiment with non-chronological symbolic execution