Ensure properties are visible in counterexamples
Merge pull request #141 from chsticksel/develop

Ensure properties are visible in counterexamples
Show correct pos. of nodes in plain text output
Merge pull request #142 from chsticksel/develop

Show correct pos. of nodes in plain text output
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
Merge pull request #144 from kind2-mc/develop

Bugfixes for interpreter