Function is_local_required

fn is_local_required(local: Local, body: &Body<'_>) -> bool

Some locals are part of the function’s interface and can not be removed.

Note that these locals can still be merged with non-required locals by removing that other local.