lift_idiv2 integration, and separate lift_inc_dec#34

NaC-L merged 2 commits intoNaC-L:mainNaC-L/Mergen:mainfrom

vxcall:mainvxcall/Mergen:mainCopy head branch name to clipboard