An Efficient Abstract Domain for Not Necessarily Closed Polyhedra