FIXED: insert_nop_after() and insert_nop_before move the flag_result_users pointers,
so make sure the caller to insert_nop_after/before does not assume it does not change.
Using the flagged pointer made this mistake. Remove the use of "flagged".