smt2slide: fix existentials in RHS