Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking

• 时间自动机的模型检验中消除无关原子约束