The serialization of results of the Apron analysis currently fails with execption: Fatal error: exception Invalid_argument("output_value: abstract value (Custom)").

This needs to be fixed for the incremental analysis and for comparing different runs with the Apron analysis.

Edit: For now we only need to focus on allowing a comparison.