testHasntPermission :: Test 
testHasntPermission = 
  let q  = makeAssertion "User says apk#App cannot-access-internet;"
      a1 = makeAssertionUnsafe "anyone says apk#app cannot-access-internet: permissionsCheck(apk#app, \"INTERNET\") = False;"
      ctx = stdCtx{ac=AC [a1]}
      prf = unsafePerformIO $ ctx ||- q
      pPrf = ppProof prf
  in Test { description = pShow ctx ++ " |= " ++ pShow q ++ pPrf
          , result = test . null $ prf
          }
testHasntPermission :: Test
testHasntPermission = 
  let q  = makeAssertion "User says apk#App cannot-access-internet;"
      a1 = makeAssertionUnsafe "anyone says apk#app cannot-access-internet: permissionsCheck(apk#app, \"INTERNET\") = False;"
      ctx = stdCtx{ac=AC [a1]}
      prf = unsafePerformIO $ ctx ||- q
      pPrf = ppProof prf
  in Test { description = pShow ctx ++ " |= " ++ pShow q ++ pPrf
          , result = test . null $ prf
          }
testHasntPermission = 
  let q  = makeAssertion "User says apk#App cannot-access-internet;"
      a1 = makeAssertionUnsafe "anyone says apk#app cannot-access-internet: permissionsCheck(apk#app, \"INTERNET\") = False;"
      ctx = stdCtx{ac=AC [a1]}
      prf = unsafePerformIO $ ctx ||- q
      pPrf = ppProof prf
  in Test { description = pShow ctx ++ " |= " ++ pShow q ++ pPrf
          , result = test . null $ prf
          }