data/model
data/out
DFAWodel.mutator