propagate the fact that parameter was dereferenced between analyses