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