addAssigns addResult addTGState addVarDecls arityOf askProceed bodyOf choiceOfDemand currResult currentNodeOfTask defOpts demandOf evalExternal evalFirstTask evalFun execIProg execProg extendGraph extendGraphL followPath funApply funDollarBang funDollarDollarBang funDollarHash funNormalForm funSeq funcOf graph icOptions initState invokeFunction lookupInEnv lookupIntNode printState program replaceNodeArg results rootOfTask rootsOfState runWith selectConsBranch selectLitBranch showAllExps showILit showResults standardFuncs step stepNum tasks updateEnv waitTime withGraph