Currently, the part of the cADL grammar that defines assertion
expressions causes 96 reduce/reduce conflicts in the parser, some
of which lead to wrong parsing behaviour. This grammar needs to be
improved to remove this effect. The test archetype is the SOAP
Headings one. (More assertion tests should be written).