WIP: remove silly loops from opt_if_simplification.

Should precede "WIP: add assertions to exec_node::insert_before".