(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTORBASED)
(VAR moves p1 p2 x xs ys )
(STRATEGY INNERMOST)
(RULES 
        @(Cons(x, xs), ys) -> Cons(x, @(xs, ys))
        @(Nil, ys) -> ys
        game(p1, p2, Cons(Capture, xs)) -> game[Ite][False][Ite][False][Ite](True, p1, p2, Cons(Capture, xs))
        game(p1, p2, Cons(Swap, xs)) -> game(p2, p1, xs)
        equal(Capture, Capture) -> True
        equal(Capture, Swap) -> False
        equal(Swap, Capture) -> False
        equal(Swap, Swap) -> True
        game(p1, p2, Nil) -> @(p1, p2)
        goal(p1, p2, moves) -> game(p1, p2, moves)
        
)