FIX: aget-object and move-result can also have access to P-registers AND annotations are allowed to have values AND types
Sample:
"
   aget-object p0, v4, v8
   [...]
   move-result p0
"