add convertWBO :: PBFile.SoftFormula -> ShowS to ToySolver.Converter.PB2LSP