}else if(regV.type == DTYPE.OBJECT_REF){
                        // TRUE case
                        if(regV.getValue() instanceof VM_ClassInstance){

                            v = `// ${regX}=(ClassInstance)${regV.getValue().parent.name} is not null, so "if(${regX} != 0)" was TRUE. Continue ...`;