Small update of the counter-strategy code. Should correct some corner-cases
example demonstrating weird behaviour with sys liveness
uint to unsigned int
variable length arrays don't work with all gcc compilers, so changing these to vectors
remove double parenthesis, eliminating some warnings
Fixed strategy extraction bug for liveness guarantees that involved non-nexted variables.
Slight simplification of the previous commit.
Updated the Counter-strategy generation - fixes a bug.
Yet another counter-strategy generation fix
Robot example fix
Fixed unrealizable core finding algorithm
Merge branch 'master' into incrementalSynthesis

Conflicts:
	robustifier/RobotBenchmarkGenerator/settingFromImageReader.py