The name of output.dot becomes analyzed file-name