Bug in the code parser for match expression

[BrunoDutertre]

This causes a segfault:

(declare sort type)
(declare term type)
(declare Bool sort)
(program bad ((t term)) sort (match t ((default x) Bool)))