removed some unnecassary example files
Merge branch 'verfication_recovery' of github.com:wongkaiweng/LTLMoP into verfication_recovery