import LIO
import LIO.DCLabel
import LIO.TCB

amit = PrivTCB $ toCNF "amit"
deian = PrivTCB $ toCNF "deian"

l1 = True %% privDesc amit
l2 = True %% amit /\ deian

main = tryDC $ do
  lv1 <- labelP amit l1 "w00t"
  lv2 <- relabelLabeledP deian l2 lv1
  return $ labelOf lv2