path: root/rules/always_defect.pl

% Syntax:  always_defect(+history, -choice, +state_in, -state_out)

always_defect(_, d, _, _).