small change in DG.cpp, exclude use inst not in body