Function parse_rule_body_exprs 

fn parse_rule_body_exprs<'a>(
    pairs: Pairs<'a, Rule>,
    rule_span: Span<'a>,
    builder: &InitializedGeneralThresholdAutomatonBuilder,
    rule_id: u32,
    proc_ident: &String,
    ctx: &mut TLAParsingContext<'a>,
) -> Result<Rule, Error>

Parse all rule body expressions

Parses all pairs of type rule_body_expr into a consistent rule