Null Problem; so as not to depend on a random model, and ECJ doesn't
have a nice blank (non-abstract) problem.