body: generalize inlining of local bodies