fix(cil2smt2): use get_low_nbits instead of -bit
fix(cil2smt2): use Errormsg.error
chore(cil2smt2/test): use gcc as CC
fix(cil2smt2): update info output format