You can check whether a specified State was visited by calling the following command
public boolean wasInState(String stateName) { ... }
The following code fragment shows how to check whether a specified State of STM, e.g. State1, was visited through ALH API.
ALH.wasInState("State1"); // Returns true or false.