Symbol: smt_check_para