Send a message to Frama-Tech