(Backends) Now DivisionSubstition visits binary expressions that
contains other binary expressions