Function NodeQuery::querySolverFunctionDeclarationFromDefinition