Relevant debugging info of ref with NoUse criterion