Fix issue 128. Change the translation of CanCallAssumption for let-such-that

expression from
      // CanCall[[ var b :| RHS(b,g); Body(b,g,h) ]] =
      //   (forall b0,b1 :: typeAntecedent ==>
      //       CanCall[[ RHS(b,g) ]] &&
      //       (RHS(b,g) ==> CanCall[[ Body(b,g,h) ]]) &&
      //       $let$canCall(b,g))
to
      // CanCall[[ var b0,b1 :| RHS(b0,b1,g); Body(b0,b1,g,h) ]] =
      //   $let$canCall(g) &&
      //   CanCall[[ Body($let$b0(g), $let$b1(g), h) ]]

0 files changed, 0 insertions, 0 deletions