addQMap arityPosOfCons defaultICOptions funError optConsMap optFrontendParams optFun optFunMap optGraphOutput optHelp optInteractive optLift optMain optMaxSteps optModsMaps optOutput optShowGraph optShowNodeIDs optTermGraph optTreeDepth optTreeOutput optVarDecls optVerb optViewPDF optXMLOutput options posOfCons posOfFun printDetails printIntermediate printStatus processOptions qmapLookup setConsFuns showQName usageText