reimplement NoResolve to do a max solve compution

初步完成Shrink功能.

Signed-off-by: xiehuc <xiehuc@gmail.com>