Checking a visited State

The WasInState function checks whether the state with the given name has ever been visited for a particular object:

WasInState(in object: any[1], in stateName: String): Boolean

Both arguments of the function are required. For example"

if (WasInState(obj, "S1") {
	WriteLine("Obj was in state S1.");
}