An implementation of "a very basic language" presented in Introduction to Static Analysis: An Abstract Interpretation Perspective by Kwangkeun Yi and Xavier Rival.
The interpreter implements the presented langauge as-is, with a point to be
noted: the syntax for the arguments to the init statement and the syntax for
numbers are specified.
The double description method is used to convert V- and H-representation of convex polygons.