addFun2State currFunc currIndex currMod defaultLiftOpts defaultNoLiftOpts genFuncName getOpts liftCArg liftCase liftExp liftFuncs liftNewFun liftOpts liftProg liftRule liftTopFun topFuncs unboundVars unboundVarsInBranch unionMap