getVarsTerm (Conditional t1 f t2 _) = Map.unionWith Set.union v3 m
     where v1 = getVarsTerm t1
           v2 = getVarsTerm t2
           v3 = getVars f
           m = Map.unionWith Set.union v1 v2
getVarsTerm (Conditional t1 f t2 _) = Map.unionWith Set.union v3 m
     where v1 = getVarsTerm t1
           v2 = getVarsTerm t2
           v3 = getVars f
           m = Map.unionWith Set.union v1 v2
getVarsTerm (Conditional t1 f t2 _) = Map.unionWith Set.union v3 m
     where v1 = getVarsTerm t1
           v2 = getVarsTerm t2
           v3 = getVars f
           m = Map.unionWith Set.union v1 v2