Two-Variable-Per-Inequality abstract domain