Reaching definitions in terms of kill/gen