create new Objects in applyMethodSummary -> transferInternalObjectsFrom
removed package-String from ObjectNodes->InternalObjects.toString()
consider null-parameter in State.mapsToObject
time measuring in ConfinementChecker
javadoc for State
new testcases