Use SAFECode's BreakConstantGEPs transform to convert constant getelementptr expressions into instructions, so that their values can be recorded at runtime.