MostSpecific31.java:18:9: compiler.err.ref.ambiguous: m1, kindname.method, m1(MostSpecific31.Pred), MostSpecific31, kindname.method, m1(MostSpecific31.Fun), MostSpecific31 1 error