Метод Java ListStack push и pushAll() ⇐ JAVA

[Anonymous]

У нас есть Liststack и ADTStackJqwikTest.
Вот мой код в ListStack для метода push и pushAll().
@Override
public Stack push(A e) {
return new ListStack(list.cons(e));
}

@Override
public Stack pushAll(List xs) {
return xs.isEmpty() ? this : new ListStack(List.append(xs, list));
}

В моем ListStack есть тест:
public static void main(String[] args) {
Stack s1 = empty();
s1 = s1.pushAll(list(1,2,3));
s1 = s1.pushAll(list(1,2,3));
System.out.println("PushAll: " + s1.toList());

Stack s2 = empty();
s2 = s2.push(1);
s2 = s2.push(2);
s2 = s2.push(3);
s2 = s2.push(1);
s2 = s2.push(2);
s2 = s2.push(3);
System.out.println("Push: " + s2.toList());
}
}


Результат, который я получаю:
PushAll: 1, 2, 3, 1, 2, 3
Push: 3, 2, 1, 3, 2, 1
Но результат должен быть тот же. Что я не так?
В моем ADTStackJqwikTest мне нужно использовать методы pushAll().
// ∀s:Stack : pushAll([],s) = s
@Property
boolean pushAll(@ForAll("stacks") Stack s) {
return s.pushAll(List.list()).equals(s);
}

// ∀s:Stack, ∀xs:List : pushAll(x:xs,s)= push(x,pushAll(xs,s)), falls s nicht leer
@Property
boolean pushAll(@ForAll("stacks") Stack s, @ForAll("lists") List xs, @ForAll("as") A x) {
return s.pushAll(xs.cons(x)).equals(s.push(x).pushAll(xs));
}



Подробнее здесь: https://stackoverflow.com/questions/676 ... all-method