Send a message to DTReal