Started flagging state variables as constant
Working on constant state variables, fixing some bugs
Documentation of the Lustre parser
Fixing flattening of indexed data types
Minor edit in documentation
Merge branch 'master' of github.com:chsticksel/kind2

Conflicts:
	src/lustreNode.ml
Merge pull request #70 from PaulMeng/master

Adapted induction to the new parser
Merge remote-tracking branch 'upstream/master'
Small fixes in Lustre translation
Started compression for k-induction
Simplify QE by substituting definitions of variables
Added constant variables without offset
Fixed type of oracle constants
Merge pull request #71 from chsticksel/master

Various bugfixes and improvements
Fixing bug in substitution of definitions in QE
Bugfixes for Lustre input, record input file position of node calls
Merge pull request #72 from chsticksel/master

Bugfixes for Lustre input, record input file position of node calls
Remove scope from property name
Merge pull request #73 from chsticksel/master

Remove scope from property name
Removed extra checks in QE