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