Send a message to CEGAM Construct