Tidy up the predicate that checks the minimum tuple invariant for nodes.