extractVariables (Minus a b) = extractVariables a ++ extractVariables b
extractVariables (Minus a b) = extractVariables a ++ extractVariables b
extractVariables (Minus a b) = extractVariables a ++ extractVariables b