Saliency of invariants reported by dynamic detection techniques tend to be poor. We present a prototype intra-procedural static analysis and invariant filtering system that improves reported invariant saliency by applying a data flow based admission criteria. While successful at reducing the number of nonsensical invariants reported, the current prototype is overly aggressive due to the limitations of intra-procedural data flow. Extension to inter-procedural analysis is non-trivial. Some of the challenges are discussed.