extractVariables (Div   a b) = extractVariables a ++ extractVariables b
extractVariables (Div   a b) = extractVariables a ++ extractVariables b
extractVariables (Div   a b) = extractVariables a ++ extractVariables b