okayO :: OptionPred
okayO opts = isJust (unitName opts) `implies` (length (inputFiles opts) <= 1)
okayO :: OptionPred
okayO opts = isJust (unitName opts) `implies` (length (inputFiles opts) <= 1)
okayO opts = isJust (unitName opts) `implies` (length (inputFiles opts) <= 1)