fix while reaching-defs