Added added necessary sources and tests for insynth and condition abduction, and two synthesis rules (immediate and deferred instantiation)
Changes before the submission - DataGen, benchmarks, timeout checking
Added support for candidate ranking (for minimizing #evaluations)
More flexible variable refinement - direct field refinement, operator refinement
Changed checking for counterexample implications from verification to evaluation, added evaluation strategies (default and codegen), some heuristics, measurements
Changed the verification condition generation, mofidified filtered of candidates, implemented verifier timeout as evidence of validity
Refactored verifier into concrete and timeout one, added generation of input examples with fuzzying, expression filter detects according to expression structure, added some benchmarks for the paper
Refactoring and fixes for compliance with the rule framework (huge commit and subsequent fixes in the oopsla-artifact branch)
Refactored the condition abduction code, refactored InSynth code out of Leon, and added the InSynth core library, with substantial amount of fixing and clearning sources, tests, and testcases
Moved code to appropriate packages and formatted sources