Үүнийг мессежээр илгээх: Efficient coverability analysis by proof minimization