Cutoff points (undefs): fullfold from module newfold
                        continuations for strategy answers in module loop