Real test cases from lucasallan