fix for case where the same parameter is used multiple times in the same call
adding backwards analysis (Live Variables)