/// <summary>
/// Returns a fair nondeterministic boolean choice, that can be
/// controlled during analysis or testing.
/// </summary>
/// <param name="uniqueId">Unique id</param>
/// <returns>Boolean</returns>
bool IDispatcher.FairNondet(string uniqueId)
{
return(PSharpRuntime.FairNondet(uniqueId));
}