doIntroduce expr thresholdValue thresholdName runEval theRPar theSeq (_, _, t)
  = do mod <- doIntroduce' expr thresholdValue thresholdName runEval theRPar theSeq t
       if mod == t
        then return t
        else do
               mod' <- addTheImport [theSeq] mod
               return mod'
doIntroduce expr thresholdValue thresholdName runEval theRPar theSeq (_, _, t)
  = do mod <- doIntroduce' expr thresholdValue thresholdName runEval theRPar theSeq t
       if mod == t
        then return t
        else do
               mod' <- addTheImport [theSeq] mod
               return mod'
doIntroduce expr thresholdValue thresholdName runEval theRPar theSeq (_, _, t)
  = do mod <- doIntroduce' expr thresholdValue thresholdName runEval theRPar theSeq t
       if mod == t
        then return t
        else do
               mod' <- addTheImport [theSeq] mod
               return mod'