Function only_writes_discarded_depth 

fn only_writes_discarded_depth(
    module: &Module,
    entry_point: &EntryPoint,
) -> bool

Returns true if entry_point has nothing to return once its depth is discarded.