Chc([Choice { weight: None, value: Cat([Lit(Num(55))]) }])