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