Delete minus1Trunc.v, close #434

You don't seem to be using `G` at all.