Merge branch 'master' of https://github.com/PaulMeng/kind2 into PaulMeng-master
Implemented BMC and Induction
fixed ind
Merge BMC and k-inductive step process
Merge branch 'PaulMeng-master'
Merge code to be updated
Restored merged files, removed tabs
Merged BMC process, k-inductive step to be finished