pub fn parse_expression(expr: &str) -> Result<Expr, String>
Parses a deterministic expression used by guards, assertions, and branch guards.