- Some engineering fixes here and there
 - Make sure we remove witnesses before sending out to solver
 - Speed-up CEGIS:
   - Order tests based on likelihood to falsify input
   - Only assert wrongPrograms (C-Ex) when necessary