opgave 3 afgerond, nusmv_opgv4.txt bevat trace voor opgave 4