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