Function build_choices 

pub fn build_choices(
    expr: &GrammarExpr<'_>,
    grammar: &GrammarData,
) -> Option<FsmWithStartEnd>

FSM for a normalized rule body — a Choices of Sequences (with an optional leading EmptyStr). Returns None if not FSM-expressible.