Remove unused constructors in external AssumptionViolatedException.