I don’t know if this is the same but Sweden have a thing where you pay into a fund that helps victims of crimes. When a criminal gets convicted and has to pay a victim money, the state takes money out of the fund and pay the victim and then the fund tries to get the money from the criminal. This way it doesn’t become the victims problem that the criminal can’t pay.
Formally proving trivial things help when proving non trivial things and sometimes the trivial thing turns out to be wrong.