Make tamarin tests so they pass with no failures