add regression tests which verify actual assertions issued by actual code in the wild