TriAxis.RunSharp.CodeGen.ForceResetUnreachableState C# (CSharp) Method