Add resolved definition decoration that cause DumpDot to crash