(Backends) Now DivisionSubstitution visits the action scheduler too