Add `preserves-definedness` to attributes recognized by pyk

[palinatolmach]

Related: runtimeverification/kontrol#977
Follow up to #4681.

We should add support for the preserves-definedness attribute, in addition to smt-lemma , symbolic, and concrete added previously in https://github.com/runtimeverification/k/pull/4681/files, since it's commonly used in Kontrol lemmas.