Repair/RepairCompiler/MCC/ex.model

   1 [], !(head=literal(0)) => 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
   5