add more Bratko Kopec tests