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