(VAR @_@9 @a @b @breadth@1 @breadth@2 @breadth@7 @breadth@8 @children@3 @children@4 @children@5 @children@6 @copyover@1 @copyover@2 @dequeue@1 @dequeue@2 @dequeue@3 @dequeue@4 @elem @inq @l @l1 @l2 @outq @queue @queue' @x @xs @y @ys @z )
(STRATEGY INNERMOST)
(RULES 
        breadth(@breadth@1,@breadth@2) -> breadth#1(dequeue(@breadth@1,@breadth@2))
        breadth#1(tuple#2(@queue',@elem)) -> breadth#2(@elem,@queue')
        breadth#2(::(@z,@_@9),@queue') -> breadth#3(breadth#4(@z),@queue')
        breadth#2(nil,@queue') -> nil
        breadth#3(tuple#2(@x,@ys),@queue') -> ::(@x,breadth#5(enqueues(@ys,@queue')))
        breadth#4(tuple#4(@children@3,@children@4,@children@5,@children@6)) -> children(@children@3,@children@4,@children@5,@children@6)
        breadth#5(tuple#2(@breadth@7,@breadth@8)) -> breadth(@breadth@7,@breadth@8)
        children(@a,@b,@l1,@l2) -> tuple#2(tuple#2(@a,@b),children#1(@l1,@b,@l2))
        children#1(::(@x,@xs),@b,@l2) -> children#3(@l2,@b,@x,@xs)
        children#1(nil,@b,@l2) -> children#2(@l2,@b)
        children#2(::(@y,@ys),@b) -> ::(tuple#4(@y,@b,nil,@ys),nil)
        children#2(nil,@b) -> nil
        children#3(::(@y,@ys),@b,@x,@xs) -> ::(tuple#4(@x,@b,nil,@xs),::(tuple#4(@x,@y,@xs,@ys),nil))
        children#3(nil,@b,@x,@xs) -> nil
        copyover(@copyover@1,@copyover@2) -> copyover#1(tuple#2(@copyover@1,@copyover@2))
        copyover#1(tuple#2(@inq,@outq)) -> copyover#2(@inq,@outq)
        copyover#2(::(@x,@xs),@outq) -> copyover(@xs,::(@x,@outq))
        copyover#2(nil,@outq) -> tuple#2(nil,@outq)
        dequeue(@dequeue@1,@dequeue@2) -> dequeue#1(tuple#2(@dequeue@1,@dequeue@2))
        dequeue#1(tuple#2(@inq,@outq)) -> dequeue#2(@outq,@inq)
        dequeue#2(::(@y,@ys),@inq) -> tuple#2(tuple#2(@inq,@ys),::(@y,nil))
        dequeue#2(nil,@inq) -> dequeue#3(@inq)
        dequeue#3(::(@x,@xs)) -> dequeue#4(copyover(::(@x,@xs),nil))
        dequeue#3(nil) -> tuple#2(tuple#2(nil,nil),nil)
        dequeue#4(tuple#2(@dequeue@3,@dequeue@4)) -> dequeue(@dequeue@3,@dequeue@4)
        empty(@x) -> tuple#2(nil,nil)
        enqueue(@x,@queue) -> enqueue#1(@queue,@x)
        enqueue#1(tuple#2(@inq,@outq),@x) -> tuple#2(::(@x,@inq),@outq)
        enqueues(@l,@queue) -> enqueues#1(@l,@queue)
        enqueues#1(::(@x,@xs),@queue) -> enqueues(@xs,enqueue(@x,@queue))
        enqueues#1(nil,@queue) -> @queue
        startBreadth(@xs) -> startBreadth#1(@xs)
        startBreadth#1(::(@x,@xs)) -> startBreadth#2(enqueue(tuple#4(@x,@x,@xs,@xs),empty(#unit)))
        startBreadth#1(nil) -> nil
        startBreadth#2(tuple#2(@breadth@1,@breadth@2)) -> breadth(@breadth@1,@breadth@2)
        
)