Implemented Definition Walker