inline

[Stephen Weeks]

> All I see are statements that happen to have immediate
> labels in their srcs.  To keep things reasonable, I inherit the transfers
> from Machine IL that indicate the handler for non-tail calls; that way,
> for CFG traversals, I just need to look at the Transfer.t.  The
> alternative is to walk through all of the statements each time.

OK, if you'd rather not walk the statements, that is fine with me.
I'll put the necessary hack in implement-handlers to avoid generating
the useless SetHandlers.