Object propositions proofs in Boogie and my plugin