The eval method of ST_Within (in file Predicates.scala) calls the function coveredBy of JTS. Instead, it should call the within function.
As a result, now, the expression
returns true, whereas the correct behaviour according to the simple features specification for sql should be false.
Also, the toString method of the ST_Within is wrong.