(mod (((alice_image new_validation_hash)) conditions)
    (include *standard-cl-22*)
    (include assert.clinc)
    (include curry.clinc)
    (include shatree.clinc)
    (compile-file rockpaperscissorsb rockpaperscissorsb.clsp)
    (defconst bhash (shatree rockpaperscissorsb))

    (assert
        (not
            (all
                (= new_validation_hash (sha256 bhash (shatree alice_image)))
                (= (len alice_image) 32)
            )
        )
        conditions
    )
)