% Adapted from Logtalk iso_retract_1_09. Modified for Eyepl's harness.
% See test/conformance/THIRD_PARTY.md.
%% goal: retract((_ :- in_eec(_)))