test/052-verifier-fun/src/Blah.java

public abstract class Blah {
    public void unrelatedStuff() {
    }
}