ine msg bad = when (not $ null bad) $ reject $ 
   text msg </> ( text "Folgende Teilprogramme verletzen diese Bedingung:"
                 </> vcat ( map toDoc bad  ) )


whine msg bad = when (not $ null bad) $ reject $ 
   text msg </> ( text "Folgende Teilprogramme verletzen diese Bedingung:"
                 </> vcat ( map toDoc bad  ) )
whine msg bad = when (not $ null bad) $ reject $ 
   text msg </> ( text "Folgende Teilprogramme verletzen diese Bedingung:"
                 </> vcat ( map toDoc bad  ) )