Other variables are meant for checking of preconditions. During execution, all variable values may be changed accordingly to the execution dynamics but it remains possible for the tester to manipulate the variables manually from outside, thus directing the process into alternative directions.