Fixes for newly written "Reaching Definitions" code.