o Tested the serialization of systems instead of proof obligations: serializing the POs of m0 through m5 of the lock-free algorithm took ~one minute, now serializing the AST takes 1 second.
o Tested the serialization of systems instead of proof obligations: serializing the POs of m0 through m5 of the lock-free algorithm took ~one minute, now serializing the AST takes 1 second.

literate-unitb/literate-unitb,literate-unitb/literate-unitb,literate-unitb/literate-unitb