Make SpecConstr more informative output when there are too many specialisations