SimilarTo extends terminals to CEGIS