public bool Equals(DisjunctionChoice[] a, DisjunctionChoice[] b) { return(Instrumentation.EqualDisjunctionChoices(a, b)); }