better liveness information for function entries