list.lex.is_order_connected source