Added overly rough simplification of a formula analyzer for LTL static analysis