``` define f (Bool) -> Bool case (a) x :- (< a 3) (= x a). ``` crashes as thread 'main' panicked at '', src/ast.rs:288:18
