getVars (Junction _ fs _) =
    foldr (Map.unionWith Set.union . getVars) Map.empty fs
getVars (Junction _ fs _) =
    foldr (Map.unionWith Set.union . getVars) Map.empty fs
getVars (Junction _ fs _) =
    foldr (Map.unionWith Set.union . getVars) Map.empty fs