Dafny as a SAT-QBF solver is not giving right results...

Existential type or type parameter bound failure...

Scala converting recursively bounded type parameter (F-bounded) to type member...

Understanding "type arguments do not conform to type parameter bounds" errors in Scala...