Delete minus1Trunc.v, close #434

I was trying to abbreviate "INHabited FIBers".  We could also use something
nondescriptive like `issurj_easy`.