Added support for serialization of HasKey axioms, plust tests