let
get_call_asgn annots = annots.info.a_call