tweak to tamarin tests