I forgot to commit/stage some updates on the standard patrol specification.
Changed OneStep robustness to also allow robust behavior in case of environment initialization assumption violations.

Warning: This version does not support overlapping region decomposition. Jim needs to fix the performance problem with these at some point....
Merge remote-tracking branch 'progirep/oneStepRobustness' into verfication_recovery