init commit
Readme
add CPAchecker sample
fail to prove
Config