int added = expandWithReferencingAxioms(curObj, expansionLimit); axiomsAdded += added; remainingSpace -= added;
int added = expandWithReferencingAxioms(curObj, expansionLimit); axiomsAdded += added; remainingSpace -= added;
int added = expandWithReferencingAxioms(curObj, expansionLimit); axiomsAdded += added; remainingSpace -= added;
int added = expandWithReferencingAxioms(curObj, expansionLimit); axiomsAdded += added; remainingSpace -= added;
int added = expandWithReferencingAxioms(curObj, expansionLimit); axiomsAdded += added; remainingSpace -= added;