Oops: All uses of SugarInfer.inferMaybe* were wrong, because the load transaction has implicit inputs not covered by the memo wrapper.  Moved SugarInfer.load outside of inferMaybe and is used outside the memoization.