Confusing code: `cubes.status` set twice (?)

[sfiruch]

PVS Studio (https://pvs-studio.com/en/order/for-students/#IDD159822EC6) found this potential problem.

cubes.status is set twice, in immediate succession. res should be 20, so probably no problem - but it's odd nonetheless.

cadical/src/lookahead.cpp

Line 429 in e7369b4

cubes.status = res;

[sfiruch]

The same thing happens on lines 510/511 too, but in opposite order:

cadical/src/lookahead.cpp

Lines 510 to 511 in e7369b4

	cubes.status = 20;
	cubes.status = res;

[arminbiere]

Looks redundant, but not harmful. Also 'lookahhead' is not used much.

[arminbiere]

Fixed on development and thus in the upcoming release 1.9.2