Put all stream in COI if no properties given
Merge pull request #143 from chsticksel/develop

Put all streams in COI if no properties given
Update README.md
Accessor function for term and name of named term
Merge pull request #145 from chsticksel/develop

Accessor function for term and name of named term
Bugfix: Show property status in single process run
Merge pull request #146 from chsticksel/develop

Bugfix: Show property status in single process run
Bugfix for exists_eval_on_path

This prevented PDR from eliminating properties it had disproved itself.
Merge pull request #147 from chsticksel/develop

Bugfix for exists_eval_on_path
Expose unique identifier of term with Term.tag
Merge pull request #148 from chsticksel/develop

Expose unique identifier of term with Term.tag
Changed flags for CVC4 with unsat cores
Merge pull request #149 from chsticksel/develop

Changed flags for CVC4 with unsat cores
Merge branch 'develop' of https://github.com/kind2-mc/kind2 into develop