Radical reordering machine based first pass to change variables as late as possible, bringing their usage close together.