Merge pull request #128 from chsticksel/develop

Extensions to Lustre input
Add camlp4 to the requirements
Classify a predicate definition as init or trans
Merge pull request #129 from chsticksel/hotfix-trans-sys

Classify a predicate definition as init or trans
Make topmost node call visible in transition sys.
Merge pull request #130 from chsticksel/develop

Make topmost node call visible in transition sys.
Added Mingyu's changes
Merge pull request #131 from chsticksel/develop

Added Mingyu's changes
Adding indexes to equations, rewriting simplifier
Add test case to Lustre file
Add test case to Lustre file