add goal & smt type