#13 Spurious Anticirce s#1 refutation

[Thomas Maeder]

Popeye 4.41 gives a spurious refutation in this problem:

begin

Stipulation s#1
Condition AntiCirce

Pieces
White Sg7 Ke6 Pd5 Pe5 Bg4 Sh4 Qe3 Ph2
Black Pe7 Kh3 Bd1 Rf1
Option Try Variation

EndProblem

for the try:

1.Qe3-f3 ?
1...Bd1*f3[bBf3->c8] #
but
1...Bd1*f3[bBf3->c8] + !

[Thomas Maeder]

Logged In: YES
user_id=714202
Originator: YES

The bug didn't require Anticirce:

begin
stipulation s#1
pieces white kb2 qf8 bb1 sa1c1 pa3c2h5 black kh7 rd3 pa4b3d4
option try
end

...

1.c2-c4 !
1...d4*c3 ep. #

1.c2-c3 ?
1...d4*c3 #
but
1...d4*c3 + !

Fixed in current development head and in releases >4.41.