replace unnecessary strings with ints
Replaced all unnecessary occurences of string with int in prints and variables in order to be able to use those tests in the Pseuco-Promela-Compiler.
Replaced all unnecessary occurences of string with int in prints and variables in order to be able to use those tests in the Pseuco-Promela-Compiler.