Added state tests
Transaction strictness