Implement unconditional unswitching of 'trivial' loops, those loops that contain