// Move top-level and package-level allow declarations into the individual type blocks
new ScopeHoister().traverse(policy);
IdentResolver resolver = resolvers.get();
resolver.exec(policy);
if (!resolver.getErrors().isEmpty()) {
StringBuilder sb = new StringBuilder("Could not resolve name(s):");
for (String error : resolver.getErrors()) {
sb.append("\n").append(error);
}