Pošalji tekstualnu poruku: Efficient coverability analysis by proof minimization