(Backends), Now DivisionSubstitution visits Actors Procedures, The
Inliner has now a new option for inlining or not ActionBody procedures