A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs