On the usefulness of type and liveness accuracy for garbage collection and leak detection