Widening Operators for Weakly-Relational Numeric Abstractions