updated documentation of primDecsAreEquivalent