Created by: egrimley
The optimisation is not yet enabled by default, though some programs run faster, and correctly, with "-enable_traces".
This is based on work done by Kevin Zhou in July 2016.
Change-Id: I6ab3bf0a2f48b25002f1586ff1b85e6232b4357d