private static ProgramState closeResource(
ProgramState programState, @Nullable final SymbolicValue target) {
if (target != null) {
ObjectConstraint oConstraint = openedConstraint(programState, target);
if (oConstraint != null) {
return programState.addConstraint(
target.wrappedValue(), oConstraint.withStatus(Status.CLOSED));
}
}
return programState;
}
