Delete aSYMPL_mul.v