Ad some more tests checking if state machine is detecting property fine.