more facts added after static analysis - location