extractVariables (Pow   a b) = extractVariables a ++ extractVariables b
extractVariables (Pow   a b) = extractVariables a ++ extractVariables b
extractVariables (Pow   a b) = extractVariables a ++ extractVariables b