correct .dot and .out files are generated