Benchmark for STePr 1 created
*Guard in STePr 1 modified
*STePr 3 modified to use skip states
Parameters for STePr 3 fixed. Now it's returning the right verdict