Call Smt.smt_init from corestar if smt is enabled.