Edit the extended_censor_logistics_example and little changes on Prover.
Add a new beliefbase plugin