limit deadstore computation to local variables and function parameters; reduces the number of false positives