Add test for Karr product convention