g7Tests :: TestTree
g7Tests = decisionTestGroup "g7" "Resource exists?"
  [ testCase "True ==> g8" $
      after' g7 resource req @?= Decision' "g8"
  , testCase "False ==> h7" $
      let r = resource { resourceExists = return False }
      in after' g7 r req @?= Decision' "h7"
  ]
g7Tests :: TestTree
g7Tests = decisionTestGroup "g7" "Resource exists?"
  [ testCase "True ==> g8" $
      after' g7 resource req @?= Decision' "g8"
  , testCase "False ==> h7" $
      let r = resource { resourceExists = return False }
      in after' g7 r req @?= Decision' "h7"
  ]
g7Tests = decisionTestGroup "g7" "Resource exists?"
  [ testCase "True ==> g8" $
      after' g7 resource req @?= Decision' "g8"
  , testCase "False ==> h7" $
      let r = resource { resourceExists = return False }
      in after' g7 r req @?= Decision' "h7"
  ]