Parameter identity

Hi Thomas,
Ich hatte Probleme mit einem Beispielprogram... da Soot keine Namen-Tags für die Parameter generiert hatte, bekam ich NullPointerException. Schau Dir mal an ob die Änderungen so passen. (Test laufen noch durch..). Entschuldige bitte das große diff... mein Eclipse hat wohl alles umformatiert :(

Ich habe auch ein paar TODOs in den Code geschrieben, die wir mal bei Gelegenheit besprechen sollten.