Reaching definitions

Kill and gen implementation