let get_call_asgn annots = annots.info.a_call