makeAssertion :: String -> Assertion
makeAssertion x = case parse pAssertion "" x of
  (Left err) -> error . show $ err
  (Right a) -> a
makeAssertion :: String -> Assertion
makeAssertion x = case parse pAssertion "" x of
  (Left err) -> error . show $ err
  (Right a) -> a
makeAssertion x = case parse pAssertion "" x of
  (Left err) -> error . show $ err
  (Right a) -> a