add GoalInst
implement Goal Inst and halt when reach