make prove_call public