let
different x y = x.var_vid <> y.var_vid