recursively optimize phi to get real minimal SSA-form for reducible CFGs