MCC files

[repair.git] / Repair / RepairCompiler / MCC / link.constraints

[],sizeof(Nodes) > 1;
[forall node in Nodes],sizeof(node.~nextnodes)=1;