Repair/RepairCompiler/MCC/link.model

   1 [], literal(true) => head in Nodes;
   2 [forall node in Nodes], !(node.next=literal(0)) => node.next in Nodes;
   3 [forall node in Nodes], !(node.next=literal(0)) => <node, node.next> in nextnodes;
   4 [forall node in Nodes], !(node.prev=literal(0)) => <node, node.prev> in prevnodes;
   5
   6