BMC and IND for multiproperties check
Merge branch 'master' of https://github.com/PaulMeng/kind2.git
Merge remote-tracking branch 'origin/master'
adapted induction to the new parser
Merge pull request #70 from PaulMeng/master

Adapted induction to the new parser