Effective Null Pointer Check Optimization for Java