Changed abstract CEGIS to algorithmic