lower_highlevel didn't invalidate outedges, code_placement must assure doms