parameters: (goal)
docstring: Push a goal in the goal stack
docstring_summary: Push a goal in the goal stack
docstring_tokens: Push a goal in the goal stack
function: def push_goal(goal):
      """
      Push a goal in the goal stack
      """
      _analysis_state.goal_stack.push(goal)
function_tokens: def push_goal ( goal ) : _analysis_state . goal_stack . push ( goal )