Change the annotation generator so that it respects any leading declarations
when looking to insert annotation.
Starting to look at instrumenting 'for' loops