failFuncs
ignoredCls
indseqArgs
initState
modName
optAnyResult
optFailFuncs
optHelp
optLoad
optNoWarn
optOutput
optVerb
prolog2Curry
prologCons
prologPreds
resultArgs
setModName
showIndSeqArgs
showResultArgs
useAnalysis
useLists
withDemand
withFunctions
withInline