Member predicate Stmts::Assign::defines

Use ControlFlowNodes and SsaVariables for data-flow analysis.

predicate defines(Variable v)