Improving Invariant Mining via Static Analysis