(Promela) Added functionality for configuring the model checker with input sequenses.