Implemented reduction by scope extrusion. Expanded testfile.