This is not always possible. Consider the monomorphized output of a generic function. An operation may be dead in one instance but not generally