New, almost final, version

Run from the `wfdsl` folder with `sbt "run testin.txt testout.txt 3"`