added more trace information
changs required to match soot-infoflow in unstable branch
minor refactoring and optimization