Member predicate SSA::SsaExplicitDefinition::defines

This SSA definition corresponds to the definition of v at def.

predicate defines(VarDef d, SsaSourceVariable v)