public override VariableUpdateStatement Modifies(ITypedElement variable) { VariableUpdateStatement retVal = null; if (variable == Target) { retVal = this; } return retVal; }