Improving Lustre translation

Just committing before merging develop branch
Re-use node calls with same inputs
Reduce number of state variables

- Reuse node calls
- Reuse abstractions
- Use let-bindings for inputs of node calls
Merge pull request #186 from chsticksel/inv-gen

Optimize translation to internal transition relation