Send a message to VeriFast