In https://github.com/opprop/checker-framework-inference/blob/master/src/checkers/inference/model/serialization/JsonDeserializer.java https://github.com/opprop/checker-framework-inference/blob/master/src/checkers/inference/model/serialization/JsonSerializer.java , add code for json serialization/de-serialization regarding `ArithmeticVariableSlot` and `ComparisonVariableSlot`.
In
https://github.com/opprop/checker-framework-inference/blob/master/src/checkers/inference/model/serialization/JsonDeserializer.java
https://github.com/opprop/checker-framework-inference/blob/master/src/checkers/inference/model/serialization/JsonSerializer.java
, add code for json serialization/de-serialization regarding
ArithmeticVariableSlotandComparisonVariableSlot.