Delete minus1Trunc.v, close #434

No.