xquery & true() function ?!?

My tamino DB always shut down when I execute this query:

declare namespace ctxC='contractX/contractX'
declare namespace ctxCD='contractX/contractXDraft'
declare namespace tf='http://namespaces.softwareag.com/tamino/TaminoFunction'
declare namespace xf='http://www.w3.org/2002/08/xquery-functions'
declare namespace dc='http://purl.org/dc/elements/1.1/'
declare namespace xs='http://www.w3.org/2001/XMLSchema' 
for $contract in ( input()/*:contractX  ,   input()/*:contractXDraft)

where  ( ($contract//*:DateDetails/*:ExtensionDate/*:AutomaticPrologation = true())) 


<contract ID="{$contract/@ID}">


Hi Nathaire,

If Tamino shuts down as a result of a query then this must be a bug - in which case please raise this issue with your local customer support centre.

Bye for now.

Stuart Fyffe-Collins
Software AG (UK) Ltd.