Command-line argument to decide on execution choices

[aubertc]

There should be a way of giving arguments to the program to give the strategy (for testing purposes?). So that, e.g. a flag s could be given with a series of decisions to do:

java -jar target/RCCS-xx-jar-with-dependencies.jar "(a|'a)+(a|'a)" -s 0,1

would mean "do the first, then second possible action", and returns e.g. ([k1]a|[k2]'a)+(a|'a).