Improved trigger translation by trying to also translate (evaluate) triggers that do not occur in the body of the quantification. This is currently not always possible, though, as documented in Silicon issue #166.
Improved trigger translation by trying to also translate (evaluate) triggers that do not occur in the body of the quantification. This is currently not always possible, though, as documented in Silicon issue #166.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors