The issue also exists with determinism. * tests/core/sbacc.test: New test case. * spot/twaalgos/sbacc.cc: Fix it. * NEWS: Update.