Be a bit more careful before declaring a partial partition.
The last changeset made it possible for Mnesia to not report a partition, so do so explicitly here.
Drive-by simplification.
Remove out of date subclause.
Even closer to reality.
Cosmetic
Merge bug26474