try generating facts with test.check
move MITM tests to another file
guess how to apply MITM
generate a lot of test cases
Guesses are accurate if you ignore the obvious solutions
messages are now explicitely dropped
learn how to drop messages