I've seen a lot of variations of the trolley problem, and this is the first time I've ever heard the "heavy man." It also makes zero sense, because a heavy man would do nothing to a trolley.