fix list empty exp smt.ml line 82