Merge pull request #139 from chsticksel/develop

Bugfix for constant inputs in condacts
Merge pull request #140 from chsticksel/develop

Extract with XOR operator
Merge pull request #141 from chsticksel/develop

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

Show correct pos. of nodes in plain text output
Merge pull request #143 from chsticksel/develop

Put all streams in COI if no properties given