finish tsNullPointerByNoCheckAndDeRef as tsNullPointerStructByDeRefAndCheck
check the variable assignment -- part I
check the variable assignment -- partII