Dear All, indeed TcT is buggy, there seems to be some problem in the communication between tctcore and the new amortised method. Sorry for the inconvenience. cheers, Georg