let compare x y = Pervasives.compare x.var_vid y.var_vid