Removed unused AnnotatedOpcode type