Comment 1 for bug 947051

The following test results in a Seg Fault also:

test set "prod-InstanceofExp", test case "instanceof131"

Here is the actual test run:

import module namespace xqxq = 'http://www.zorba-xquery.com/modules/xqxq';
variable $queryID := xqxq:prepare-main-module('xquery version ''3.0'';

declare namespace op = ''http://www.zorba-xquery.com/options/features'';
declare namespace f = ''http://www.zorba-xquery.com/features'';
declare option op:enable ''f:hof'';

         name#0 instance of function(item()) as xs:string
       ');

xqxq:evaluate($queryID)