Predicate ssaExplicitUpdate
Import path
import semmle.code.java.dataflow.internal.SsaImplpredicate ssaExplicitUpdate(SsaUpdate def, VariableUpdate upd)import semmle.code.java.dataflow.internal.SsaImplpredicate ssaExplicitUpdate(SsaUpdate def, VariableUpdate upd)