pub fn get_read_write_set(env: &GlobalEnv, targets: &FunctionTargetsHolder)