Fixed issue involving axioms in the dependency analysis used for verification result caching.
Made it not include free preconditions when producing partially verified preconditions.