let
has_asgn_goal = ref
false