Send a message to CBMC,B