Java Agent - Local Variable Annotations

[Daniel-Pfeffer]

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

• Local Variable invocation
• Local Variable modification