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