Use addDefaultFilterIfNeeded() in PSEModelChecker.