changed InfoFlowResult to contain Soot objects in the path instead of Strings