refactored basic tests, accessing targeted state machine property is now separate test