Much improved auto-detection of @chainable.

We're now able to determine if the execution can flow through a control
structure or will the control structure always result in a return statement.