sig
  val used_count : Xquery_common_ast.cvname -> Xquery_core_ast.acexpr -> int
  val can_fail :
    Processing_context.processing_context -> Xquery_core_ast.acexpr -> bool
  val does_node_care_about_order : Xquery_core_ast.acexpr -> bool
  val should_inline_variable :
    Processing_context.processing_context -> Xquery_core_ast.acexpr -> bool
  val has_side_effect_judge : Xquery_core_ast.acexpr -> bool
  val side_effect_free_judge : Xquery_core_ast.acexpr -> bool
end