% Adapted from Logtalk eddbali_abolish_1_10. Modified for Eyepl's harness.
% See test/conformance/THIRD_PARTY.md.
%% goal: abolish(foo / -1)