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