Don't invent variables, use accessors
Some engineering to make CEGIS (even) faster
Fix/complicate HeapSort benchmarks
Generators from subexpressions with placeholders