additonal test case (Ackermann, passes)