Christof,

Further proof is to change the tag of that code to:

index on bintoc(i1) to itest.idx

the result file looks the same as without the bintoc(). But I wouldn't advocate using bintoc() in your tag expressions.