WCPS-Manual / Nesting
All operators, constructors, and functions can be nested arbitrarily, provided that each sub-expression's result type matches the required type at the position where the sub-expression occurs. This holds without limitation for all arithmetic, Boolean, String, and coverage-valued expressions.
Note: An encodeExpr cannot appear inside an expression, it is always the outermost expression.
The following example first adds 1 to each cell of coverage C and then multiplies each cell by 2:
( C + 1 ) * 2