Global smtrat::parser::QualifiedIdentifierParser::checkQualification (const Identifier &identifier, const carl::Sort &) const: Check what can be checked here.
Global smtrat::parser::Theories::defineFunction (const std::string &name, const std::vector< types::VariableType > &arguments, const carl::Sort &sort, const types::TermType &definition): check that definition matches the sort