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