有序单向链表的插入（链表有序性的全称量词描述）
将一个新节点插入到有序单向链表中，使链表的有序性保持不变。
同时验证插入前后链表数据的一致性，即除插入的新节点外，链表中原链表各节点的数据值保持不变（验证时间约80sec）
[Back to Index]
验证特点：有序单向链表，内置谓词\list，逻辑数组，链表有序性的全称量词描述。
标注说明：函数前条件：head指向长为m的有序单向链表；
函数后条件：返回值\result 指向长为m+1的有序单向链表。除插入节点外原链表各节点值保持不变。
程序样例 
