public VariableUpdateStatement Modifies(ITypedElement variable) { if (Statement != null) { return Statement.Modifies(variable); } return null; }