[
    Assn(
        "x",
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Num(
                                    5,
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Assn(
        "y",
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "This",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
]