Send a message to kodkod ter