Add a failing test case.

It is possible to fool constraint generation by assigning a variable to itself.
The reason is that the rm(..) operation is applied too early. We probably need
a placeholder symbols for these situations
Add a scratch test case for playing around
Merge pull request #5 from luminousfennell/failing-tests

Add a failing test case.
Merge pull request #6 from luminousfennell/scratch-tests

Scratch tests
Fix Local-Assignment
Read & Write Switches

Revised version of the value switches
Add a failing test case for putfield implicit leaks
some putfield tests
Merge pull request #8 from luminousfennell/failing-putfield-tests

Failing putfield tests
support of arrays
Summarizing array components
Fix: Removing local

Removing local also considers ComponentArrayRef with a local as base…
Singleton ComponentPlaceholder
minimal changes
FieldSecurity Correction

Field requires one security level if it is not an array type.
If it is an array, additionally also for each dimension a security
level is required.
SuccessMethod Test