Don't try to guess the invariant check for MCSFinder