Clean System Files
a.out
SokobanObjectwise
*.prj
NuSMV