// we have to do the following basically because we don't load
// modifiers properly out of jvm class files (at the moment).
// return false;
WyilFile w = builder.getModule(mid);
List<WyilFile.Block> blocks = w.blocks();
for (int i = 0; i != blocks.size(); ++i) {
WyilFile.Block d = blocks.get(i);
if (d instanceof WyilFile.Declaration) {
WyilFile.Declaration nd = (WyilFile.Declaration) d;
return nd != null && nd.hasModifier(modifier);