public void when_process_analyzed_gets_state_tokens()
{
MilToken token = sut.GetProcessToken(AppCompilation, Shortprocess);
Assert.NotNull(token);
Assert.True(token.MemberName == "ShortProcess, State:[NoState, StateA, DifferentState]");
Assert.True(token.Token == MilTypeConstant.StateDefinitionToken);
Assert.True(token.ToString() == "%ShortProcess, State:[NoState, StateA, DifferentState]");
}
