Predicate guardSuggestsVarMaybeNull
guard is a guard expression that suggests that v might be null.
This is equivalent to guard = basicNullGuard(sameValue(v, _), _, true).
Import path
import semmle.code.java.dataflow.NullGuardspredicate guardSuggestsVarMaybeNull(Expr guard, SsaVariable v)