fixed typo in testMod4Daphne