Compute strongly connected components of model rules, and do computations the correct...
[repair.git] / Repair / RepairCompiler / MCC / test.model
1 [], true => literal(0) in SuperBlock;