let finalize proj =
    debug 1 "finalize (process call inputs) @.";
  process_call_inputs proj;
  assert (!call_in_to_check = [])