Safeguard against NullPointerException in ConstraintVerificationFKE

o Use evidence() instead of evidence when looping in getUserMessage()

This happened in CI, can't reproduce the cause locally but this change should move us further