Serializes the program.
@override Map<String, dynamic> serialize() { return {"newAuthority": newAuthority}; }