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.