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