Prover – Toward More Efficient Formal Verification of Masking in Probing Model