The abstract domain of Trapezoid Step Functions