rename the code to the paper's vocabulary: synthetic packages, sub-instances, preimages, install-if