k7Tests :: TestTree
k7Tests = decisionTestGroup "k7" "Previously existed?"
  [ testCase "True ==> k5" $
      let r = resource { previouslyExisted = return True }
      in after' k7 r req @?= Decision' "k5"
  , testCase "False ==> l7" $
      after' k7 resource req @?= Decision' "l7"
  ]
k7Tests :: TestTree
k7Tests = decisionTestGroup "k7" "Previously existed?"
  [ testCase "True ==> k5" $
      let r = resource { previouslyExisted = return True }
      in after' k7 r req @?= Decision' "k5"
  , testCase "False ==> l7" $
      after' k7 resource req @?= Decision' "l7"
  ]
k7Tests = decisionTestGroup "k7" "Previously existed?"
  [ testCase "True ==> k5" $
      let r = resource { previouslyExisted = return True }
      in after' k7 r req @?= Decision' "k5"
  , testCase "False ==> l7" $
      after' k7 resource req @?= Decision' "l7"
  ]