Fix erroneous escape chars in classical B syntax
Passed
Jannik Dunkelau
created pipeline for commit
6d94393d
, finished
For develop
56 seconds, queued for 2 seconds