sig
  val factorize_expression :
    Typing_context.static_context ->
    Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr
end