Compiler Plugin - ByteCode for Local Variable Annotations

[Daniel-Pfeffer]

Create the required ByteCode for Local Variable Annotations.
The verification procedure will be called after

• Local Variable invocation
• Local Variable modification