added DotDumper, continued inference impl + fixes