let has_asgn_goal = ref false