SMT2 parser: use hash tables instead of if() ... else...#5143

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

smt2_parser_tablediffblue/cbmc:smt2_parser_tableCopy head branch name to clipboard