Removing some uses of legacy-compatibility module Legacy_globals_infix to simplify the code a bit.
Legacy_globals_infix