private void Test(ControlFlowGraph graph, params string[] lines)
{
var sequences = graph.DeriveSequences();
Print(sequences);
var spec = new TestSpec();
foreach (var line in lines) {
spec.ReadLine(line);
}
spec.Test(graph, sequences);
}
