Implement a sophisticated insert conditional exit procedure operator

[ChrisTimperley]

Rather than simply inserting a conditional exit(0) or exit(1), the sophisticated operator should exploit the plastic surgery hypothesis to copy and repurpose existing exit procedures from elsewhere in the program.

This implements the full proposal discussed in #102