/** {@inheritDoc} */ @Override public KillGenAE visitAssignStatement( IStatement statement, String variable, IStatement value, Context context) { // Kill. for (IStatement a : context.aexp) { if (a.fv().contains(variable)) { context.result.kill(statement.getLabel(), a); } } // Gen. for (IStatement a : value.aexp()) { if (!a.fv().contains(variable)) { context.result.gen(statement.getLabel(), a); } } return value.visit(this, context); }