Fix cegqi for synthesis without syntax.