Delete aSYMPL_add.v