fix + print to file + labeled transitions