import CLRSLean.Chapter_34.Section_34_5_NP_Complete_Problems.VertexCover.ComplementMachine.Header.Runtime
Fixed TM2 generation of the complement-instance header.