*** Implement inlining of Invoke instructions!