let get_call_pre annots = filter_both annots.info.call_pre