Add small spec for MT.for_single_contract