\subsubsection[sec:transformation:caseremoval]{Case removal}
This transform removes any case expression with a single alternative and
\subsubsection[sec:transformation:caseremoval]{Case removal}
This transform removes any case expression with a single alternative and