Harden irrevocull judgment contract and repository precondition#4

midiakiasat merged 1 commit intomainVerifrax/irrevocull:mainfrom

harden-irrevocull-judgment-contractVerifrax/irrevocull:harden-irrevocull-judgment-contractCopy head branch name to clipboard