extractVariables (Plus  a b) = extractVariables a ++ extractVariables b
extractVariables (Plus  a b) = extractVariables a ++ extractVariables b
extractVariables (Plus  a b) = extractVariables a ++ extractVariables b