missed accepting SCC

This issue was reported to me by Juraj Major.

The automaton aut.aut should accept the word !a;a;!a;a;!a;a;... using the path highlighted below:

However Spot thinks than none of the SCCs are accepting:

% autfilt aut.aut --stats='%[a]c'
0