See https://github.com/jonaskrask/vdm-vscode/issues/62 We need to separate the condition from the logged trace value and do multiple checks.
See overturetool/vdm-vscode#62
We need to separate the condition from the logged trace value and do multiple checks.