%% A policy that reopens a pinned class. Loading it must warn.
backend(swi).
profiles([iso, prologue]).
unpin(reflection).
allow(clause/2).