don't reuse instantiate_proofs method for rake task