Testbed for demonstrating tx:annotation-driven pitfalls