Reaching definition algorithm (initial implementation)