Send a message to CEGAM +