Various changes:
- distinction of statements and value via multiple switches
- handling of expressions
- optimization of the messages, SecurityLevel, Logger

Add:
- test cases: multiple classes for negative and positive test cases
- Ant build script for compilation, for running multiple test cases (incl. fail analysis / success analysis) and for creation of the jimple files

Existing errors: Analysis only increases the program counter.