getVars (Relation f1 _ f2 _) = Map.unionWith Set.union v1 v2
     where v1 = getVars f1
           v2 = getVars f2
getVars (Relation f1 _ f2 _) = Map.unionWith Set.union v1 v2
     where v1 = getVars f1
           v2 = getVars f2
getVars (Relation f1 _ f2 _) = Map.unionWith Set.union v1 v2
     where v1 = getVars f1
           v2 = getVars f2