the universe checker is throwing anomalies so we catch them and try other options (like reducing the term)