verifpal/examples/messaging/signal.vp at master · symbolicsoft/verifpal ...