if (access instanceof DataTypeUse &&
((DataTypeUse) access).getName().equals("Unit")) {
block.addStmtNoTransform(getExpStmt(test)); //no return value
hasReturnValue = false;
} else {
<BUG>block.addStmtNoTransform(getVarDecl("returnValue", (Access) access.fullCopy(), test));
</BUG>
hasReturnValue = true;
}
Map<ABSRef,ABSObject> finalHeap = getAfterState(testCase);

if (access instanceof DataTypeUse &&
((DataTypeUse) access).getName().equals("Unit")) {
block.addStmtNoTransform(getExpStmt(test)); //no return value
hasReturnValue = false;
} else {
block.addStmtNoTransform(getVarDecl("returnValue", access.treeCopyNoTransform(), test));
hasReturnValue = true;
}
Map<ABSRef,ABSObject> finalHeap = getAfterState(testCase);
