verification fixes for MInt

@andreistefanescu please review
This should not be needed. What does the SMT fail to prove?