Unit tests for transitions S1S3, S2S1 & S2S3
Unit tests for transitions S1S3, S3S1 & S3S1