The DO-CLAUSE is not a VARIABLE-CLAUSE.