1253 void SMTLIB2::complainAboutArgShortageOrWrongSorts(const vstring& symbolClass, LExpr* exp)  in complainAboutArgShortageOrWrongSorts()  function in Parse::SMTLIB2
1278     complainAboutArgShortageOrWrongSorts(LET,exp);  in parseLetBegin()
1561       complainAboutArgShortageOrWrongSorts("user defined symbol",exp);  in parseAsUserDefinedSymbol()
1596         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1600         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1618           complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1624         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1650           complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1656         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1682         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1686         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1691         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1725           complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1777         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1787           complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1793         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1821         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1837         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinFormulaSymbol()
1877         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1881         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1887         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1900         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1914         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1927         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1931         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1938         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1963         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1967         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1974         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1980         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
1998         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
2013         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
2032         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
2047 …complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); // we need at least two arguments other…  in parseAsBuiltinTermSymbol()
2056         complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
2063           complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp);  in parseAsBuiltinTermSymbol()
2106       complainAboutArgShortageOrWrongSorts("ranked function symbol",exp);  in parseRankedFunctionApplication()
2140             complainAboutArgShortageOrWrongSorts("ranked function symbol",exp);  in parseRankedFunctionApplication()