Fixing a bug probably with nested let bindings
Basic compression
Compression with uninterpreted function symbols
Exported functions for one step of BMC and induction
Merge pull request #81 from chsticksel/master

Compression and exporting function in BMC and k-inductive step