/// <summary>
/// This function is called when the stateimp is loaded first time.
/// </summary>
protected StateImpl()
{
implMachines = new List <PrtImplMachine>();
specMachinesMap = new Dictionary <string, PrtSpecMachine>();
exception = null;
currentVisibleTrace = new VisibleTrace();
errorTrace = new StringBuilder();
}
