Prism Program Traversers

[sjunges]

Multiple operations on programs visit all expressions either to modify or to analyse them. This yields a series of awkward code duplications that could be reduced by adding a visitor pattern.

[tquatmann]

FYI: For Jani, we have these traversers which I (personally) find a bit easier to work with compared to the visitor patterns we use for expressions or formulas.