Add the inlining bug example in issue #15