WIP: emit enter/leave instrumentation calls as IR
WIP: take two, instrument in m2ir