Changed arguments for STP and KLEE reg. tests