iteForcedForced.uplc (budget):                            OK (0.03s)
        multiplyIntegerForceError1
          multiplyIntegerForceError1.uplc (evaluation):             OK (0.03s)
          multiplyIntegerForceError1.uplc (budget):                 OK (0.03s)
        iteForced
          iteForced.uplc (evaluation):                              OK (0.03s)
          iteForced.uplc (budget):                                  OK (0.04s)
        multiplyIntegerForceError2
          multiplyIntegerForceError2.uplc (evaluation):             OK (0.04s)
          multiplyIntegerForceError2.uplc (budget):                 OK (0.03s)
        iteAtIntegerArrowIntegerAppliedApplied
          iteAtIntegerArrowIntegerAppliedApplied.uplc (evaluation): OK (0.03s)
          iteAtIntegerArrowIntegerAppliedApplied.uplc (budget):     OK (0.04s)
        iteWrongCondTypePartiallyApplied
          iteWrongCondTypePartiallyApplied.uplc (evaluation):       OK (0.03s)
          iteWrongCondTypePartiallyApplied.uplc (budget):           OK (0.04s)
        iteForceAppForce
          iteForceAppForce.uplc (evaluation):                       OK (0.03s)
          iteForceAppForce.uplc (budget):                           OK (0.04s)
        ite
          ite.uplc (evaluation):                                    OK (0.03s)
          ite.uplc (budget):                                        OK (0.04s)
        iteAtIntegerArrowIntegerApplied1
          iteAtIntegerArrowIntegerApplied1.uplc (evaluation):       OK (0.03s)
          iteAtIntegerArrowIntegerApplied1.uplc (budget):           OK (0.04s)
        iteWrongCondTypeFullyAppied
          iteWrongCondTypeFullyAppied.uplc (evaluation):            OK (0.03s)
          iteWrongCondTypeFullyAppied.uplc (budget):                OK (0.03s)
        iteStringInteger
          iteStringInteger.uplc (evaluation):                       OK (0.03s)
          iteStringInteger.uplc (budget):                           OK (0.03s)
        iteAtIntegerArrowIntegerWithCond
          iteAtIntegerArrowIntegerWithCond.uplc (evaluation):       OK (0.03s)
          iteAtIntegerArrowIntegerWithCond.uplc (budget):           OK (0.04s)
        iteAtIntegerArrowIntegerApplied2
          iteAtIntegerArrowIntegerApplied2.uplc (evaluation):       OK (0.03s)
          iteAtIntegerArrowIntegerApplied2.uplc (budget):           OK (0.03s)
        iteForcedWithIntegerAndString
          iteForcedWithIntegerAndString.uplc (evaluation):          OK (0.03s)
          iteForcedWithIntegerAndString.uplc (budget):              OK (0.04s)
        multiplyIntegerForceError3
          multiplyIntegerForceError3.uplc (evaluation):             OK (0.04s)
          multiplyIntegerForceError3.uplc (budget):                 OK (0.04s)
        iteUnforcedWithCond
          iteUnforcedWithCond.uplc (evaluation):                    OK (0.04s)
          iteUnforcedWithCond.uplc (budget):                        OK (0.04s)
    example
      churchSucc
        churchSucc.uplc (evaluation):                               OK (0.03s)
        churchSucc.uplc (budget):                                   OK (0.04s)
      even3
        even3.uplc (evaluation):                                    OK (0.04s)
        even3.uplc (budget):                                        OK (0.04s)
      IfIntegers
        IfIntegers.uplc (evaluation):                               OK (0.04s)
        IfIntegers.uplc (budget):                                   OK (0.04s)
      DivideByZero
        DivideByZero.uplc (evaluation):                             OK (0.03s)
        DivideByZero.uplc (budget):                                 OK (0.02s)
      DivideByZeroDrop
        DivideByZeroDrop.uplc (evaluation):                         OK (0.04s)
        DivideByZeroDrop.uplc (budget):                             OK (0.04s)
      force-lam
        force-lam.uplc (evaluation):                                OK (0.04s)
        force-lam.uplc (budget):                                    OK (0.04s)
      ApplyAdd1
        ApplyAdd1.uplc (evaluation):                                OK (0.04s)
        ApplyAdd1.uplc (budget):                                    OK (0.04s)
      evenList
        evenList.uplc (evaluation):                                 OK (0.03s)
        evenList.uplc (budget):                                     OK (0.04s)
      ScottListSum
        ScottListSum.uplc (evaluation):                             OK (0.04s)
        ScottListSum.uplc (budget):                                 OK (0.04s)
      NatRoundTrip
        NatRoundTrip.uplc (evaluation):                             OK (0.03s)
        NatRoundTrip.uplc (budget):                                 OK (0.03s)
      even2
        even2.uplc (evaluation):                                    OK (0.03s)
        even2.uplc (budget):                                        OK (0.04s)
      fibonacci
        fibonacci.uplc (evaluation):                                OK (0.03s)
        fibonacci.uplc (budget):                                    OK (0.03s)
      ApplyAdd2
        ApplyAdd2.uplc (evaluation):                                OK (0.03s)
        ApplyAdd2.uplc (budget):                                    OK (0.03s)
      churchZero
        churchZero.uplc (evaluation):                               OK (0.03s)
        churchZero.uplc (budget):                                   OK (0.03s)
      factorial
        factorial.uplc (evaluation):                                OK (0.03s)
        factorial.uplc (budget):                                    OK (0.04s)
      succInteger
        succInteger.uplc (evaluation):                              OK (0.03s)
        succInteger.uplc (budget):                                  OK (0.03s)
      overapplication
        overapplication.uplc (evaluation):                          OK (0.03s)
        overapplication.uplc (budget):                              OK (0.03s)

All 1422 tests passed (1.42s)