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