feat(A8): done taint and pass test

feat(A7): done the ICP and pass the test

feat(A7): add Solver, _2ObjSelector, ConstantPropagation from A4 & A6

feat(A6): done the ci part (last commit message shall be A6); pass test

feat(A5): done the solver part, and verified the ci part

feat(A5): done A5 and pass test

feat(A4): pass all tests

feat(A4): done Worklist Solver; without pass test

fix(A4): LValue is nullable

feat(A4): finish interprocedural cp, without test

feat(A4): migrate intraprocedural cp from A2

feat(A4): done CHA part, pass test CHA

feat(A3): done deadCode detection and pass the test

feat(A3): apply all previous written code (in A1,A2)

fix(A2): fix the div/rem zero when first operand is NAC