add a test case with recursive procedure calls for Jago