pub fn extract_temporal_subformulas(expr: &TLExpr) -> Vec<TLExpr>
Extract all temporal subformulas from an expression.