depresolve
depresolve and graph test exp