let equal x y = (x.var_vid = y.var_vid)