InfoFlowAnalysis::performMeet now updates toVal in-place for performance