refactored reaching-definitions for class model