Delete minus1Trunc.v, close #434

I may be overlooking somehting, but this looks quite crude. You just try to apply `Trunc_rect_nondep` as much as possible. I guess we could check first whether the goal and the hypothesis have are truncated.