Send a message to VDMConstruct