relateByLUB :: (?globals :: Globals)
  => Span
  -> (Id, Assumption)
  -> (Id, Assumption)
  -> (Id, Assumption)
  -> Checker ()

-- Linear assumptions ignored
relateByLUB _ (_, Linear _) (_, Linear _) (_, Linear _) = return ()
relateByLUB :: (?globals :: Globals)
  => Span
  -> (Id, Assumption)
  -> (Id, Assumption)
  -> (Id, Assumption)
  -> Checker ()
relateByLUB _ (_, Linear _) (_, Linear _) (_, Linear _) = return ()
relateByLUB _ (_, Linear _) (_, Linear _) (_, Linear _) = return ()