digraph "Passes" { TreeConstruction->TreeRewriting; TreeRewriting->EncodingSelection; EncodingSelection->Encoding; Encoding->SATOptimization; SATOptimization->CNFSATConversion; }