updated modifies clause computation to include user provided modifies
clauses.