Отправить по sms: Efficient coverability analysis by proof minimization