let res_call_visible fm call_stmt = let key = PdgIndex.Key.call_outret_key call_stmt in key_visible "res_call_visible" fm key