regress/parser/btor2perr006.btor2:7:10: terms with mismatching sort