sig
  type analysis_context
  val build_analysis_context : unit -> Alg_analysis_context.analysis_context
  val add_var_paths :
    Alg_analysis_context.analysis_context ->
    Xquery_common_ast.cvname ->
    Alg_path_struct.rooted_path_sequence ->
    Alg_analysis_context.analysis_context
  val get_var_paths :
    Alg_analysis_context.analysis_context ->
    Xquery_common_ast.cvname -> Alg_path_struct.rooted_path_sequence
  val set_input_tuple_paths :
    Alg_analysis_context.analysis_context ->
    (Xquery_common_ast.cvname * Alg_path_struct.rooted_path_sequence) list ->
    Alg_analysis_context.analysis_context
  val get_input_tuple_paths :
    Alg_analysis_context.analysis_context ->
    (Xquery_common_ast.cvname * Alg_path_struct.rooted_path_sequence) list
end