¿La prueba de igualdad de números falla en la coincidencia de patrones CLIPS?

Tengo esta siguiente regla en mi archivo CLIPS:

(defrule check-final (declare (salience 12))
    ?scnt <- (set-count (value ?v) (class ?c))
    (test (= ?v ?*total*))
    =>
    (printout T ?*total* " == " ?v crlf)
)

Y me sale la siguiente salida extraña:

CLIPS>(run)
14 == 9
5 == 2

Cómo es esto posible ????

Respuestas a la pregunta(3)

Su respuesta a la pregunta