add function saving FSA to dot file