Currently, in the inline function transformation, a function that directly uses OpKill or OpUnreachable can not be inlined.
We can relax this by considering functions that use OpKill/OpUnreachable if the call site is not in a continue construct