roundtripping in prov-sql