T2 Temporal Prover