FieldDecl field = fieldDecls.getChild(i);
String fn = field.getName();
if (fields.containsKey(fn)) {
ABSData d = fields.get(fn);
block.addStmtNoTransform(getVarDecl(testCaseNameBuilder.resultOfGetterMethodName(fn),
<BUG>(Access) field.getAccess().fullCopy(),
getCall(new VarUse(rn), testCaseNameBuilder.getterMethodName(fn), true)));</BUG>
makeOracle(testName, heapNames, finalHeap,
testCaseNameBuilder.resultOfGetterMethodName(fn),
<BUG>(Access) field.getAccess().fullCopy(), d, visited, block);
</BUG>
}

FieldDecl field = fieldDecls.getChild(i);
String fn = field.getName();
if (fields.containsKey(fn)) {
ABSData d = fields.get(fn);
block.addStmtNoTransform(getVarDecl(testCaseNameBuilder.resultOfGetterMethodName(fn),
field.getAccess().treeCopyNoTransform(),
getCall(new VarUse(rn), testCaseNameBuilder.getterMethodName(fn), true)));
makeOracle(testName, heapNames, finalHeap,
testCaseNameBuilder.resultOfGetterMethodName(fn),
field.getAccess().treeCopyNoTransform(), d, visited, block);
