add TEIID-3070 debug code