Turn "NOTE: Simplifier still going..." message into a WARN()