test(cil2smt2): update test7.c
feat(cil2smt2): add cmd-line options for [lb, ub]