Starting improved path compression
Merge remote-tracking branch 'upstream/develop' into path-comp
Merge remote-tracking branch 'upstream/develop' into path-comp
Remove Config module, conflict building toplevel
Lazily add compression formula
Removed references to config.ml
Statistics for compression
Bugfixes to compression

- Revert change to map of terms
- Accept constant state variables
Deal with constant state variables
Reverse simulation with same predecessors
Bugfix: reset list of state pairs on next k
Switch QE algorithm in PDR for real variables
Kill all child processes after timeout
Switch off approximate QE for non-linear terms
Kill child processes after timeout without waiting
Output processes that were killed on exit
Only output first counterexample message
Construct Lustre counterexamples from node instead of model
Added properties to examples
More debugging for reconstructing streams