Counterexample output, lift properties from nodes
Lifting of properties from subnodes
Bugfix for stateless variable computation
Merge remote-tracking branch 'upstream/develop' into develop
Merge remote-tracking branch 'upstream/develop' into develop
Merge remote-tracking branch 'upstream/develop' into develop
Integrate path compression
Starting to lift properties in subnodes
Merge branch 'develop' of github.com:chsticksel/kind2 into develop
Merge remote-tracking branch 'upstream/develop' into develop

Conflicts:
	src/indStep.ml
Lifting subnode properties to top node
Treat observers and oracles not as local variables
Add boundedness check between int ranges
Added some tests
Lifting of subnode properties for multiple calls
Test for pre in condact calls
Interpolate input between clock tick in condacts
Extend subranges in type check of ->
Test files from Github issues
Merge pull request #128 from chsticksel/develop

Extensions to Lustre input