(Promela) User interaction improvements