Use mind4se dumpdot annotation instead of ssz