add FIXME for issue of not deleting previous inferred statements when
updating a version
refactor loadArtifact() tests by adding methods for preparation and
verification