Previous commit also extends function specialization approacht to pre…

…dicates. This works, except in combination with \chor expressions

examples/publications/2024/IFM2024VeyMontPermissions/2-TTTlast/2-TTTlast.pvl

@@ -84,6 +84,7 @@ choreography Main() {
       p1.turn := !p1.turn;
       p2.turn := !p2.turn;
       // Assumption required for shortcoming in backend. Can be removed after implementing the lightweight encoding.
+
       // assume (\chor p1.gameFinished() == p2.gameFinished());
     }
     // assume (\chor p1.gameFinished() == p2.gameFinished());