Rename SymbolicAnnotation to Instrumentation