S and T should be done on every iteration, except when B goes true, in which case the final T should be skipped. Your syntax seems to do a lot of S repetitions then one T, and repeats endlessly.