id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
29,Check well-formedness of bound witnesses in letregion,benl,,"The source to core translation shouldn't create malformed witnesses, but we should check them in core anyway.",enhancement,new,minor,,Build System,,,,
