fix smtlib to not need prelude