Une division qui a été modélisée avec un branchement complexe se comporte comme un branchement inclusif.