Added temporal pre/post-condition to Condition object. Added JSON serialization/unserialization to Condition objects. Added pre/post conditions to Primitive serialization and to the associated unit test.