//ORIGINAL CODE ::

if (isEmpty(x)){
   ...
}
else {
   ...
}
boolean isEmpty( String x){
    if ( (x == null) || (x == ""))
        return true
    else
        return false;
}


//INSTRUMENTED CODE ::

if (isEmpty(x)){
   ...
}
else {
   ...
}
boolean isEmpty( String x){
    if ( ( (x == null) && myLoggingFunc('X=null') )|| ( (x == "") && myLoggingFunc('x==""')))
        return true
    else
        return false;
}