fixed test cases, updated to latest soot.