{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"LockstepIterSize::Contradiction(_)"}]}
            LockstepIterSize::Contradiction(_) => self,
            LockstepIterSize::Unconstrained => other,
            LockstepIterSize::Constraint(l_len, l_id) => match other {