extract_proofs: use \Call for function call in alg