res
\stopbuffer
\placeexample[here][ex:AvgStateRemoved]{Normalized version of \in{example}[ex:AvgState] with ignored parts crossed out}
- {\typebufferlam{AvgStatRemoved}}
+ {\typebufferlam{AvgStateRemoved}}
When we actually leave out the crossed out parts, we get a slightly
weird program: there is a variable \lam{s} which has no value, and there