more solid interface for sexpr parser
smtlib parser working on one benchmark qf_uf