Do not do SpecConstr on functions that unconditionally diverge