<> <> <<>> run CountedVMImpl.bcd run AISImpl.bcd run FourColorSeparation