Ctrl+P
This is the extension for Dijkstra's Guarded Command Language (GCL) support in Visual Studio Code.