removed NFA-file from package as not compatible anymore
inserted spaces between pre- and postcondition
changed dir structure