let mark_spare_call_nodes ff call = let pdg = M.get_ff_pdg ff in let nodes = !Db.Pdg.find_simple_stmt_nodes pdg call in mark_spare_nodes ff nodes