If you compare the actual safety level to a given level and the the comparison seemingly yields wrong results, you should check if you added these levels to the safety system with addLevel. If you forget to add some levels the safety system cannot logically order them and comparisons do not properly work, see Safety Properties