Delete minus1Trunc.v, close #434