% Teodor's example:

a v c <- not d.
c <- not c.
d <- c.

% Here the last rule yields not(d) -> not(c).
% Then a is obviously false in every minimal model,
% and thus Static implies not(a).
% This is different from D-WFS, which does not imply not(a).

$v.