First commit of correctly implemented CEGIS.