Update
Modify src/shell/lean.cpp to use smt::frontend