test!
Interpreter and parser for csv input
added interpreter
Merge branch 'master' of https://github.com/PaulMeng/kind2
added dummy method to log counterexample
Merge pull request #13 from PaulMeng/master

Added interpreter