pub fn generator_eq(
contract: &Contract,
lhs_kind: &GeneratorKind,
lhs_gen_ranges: &[(Ident, ExprKey)],
lhs_conditions: &[ExprKey],
lhs_body: ExprKey,
rhs_kind: &GeneratorKind,
rhs_gen_ranges: &[(Ident, ExprKey)],
rhs_conditions: &[ExprKey],
rhs_body: ExprKey,
) -> bool