anotherBottleDef :: Def
anotherBottleDef =
    Def "anotherBottle" ["b", "q102"] (
      ((V "b" === C "fst" []) &&&
      (V "q102" === C "snd" [])) |||
      ((V "b" === C "snd" []) &&&
      (V "q102" === C "fst" []))
    )
anotherBottleDef :: Def
anotherBottleDef =
    Def "anotherBottle" ["b", "q102"] (
      ((V "b" === C "fst" []) &&&
      (V "q102" === C "snd" [])) |||
      ((V "b" === C "snd" []) &&&
      (V "q102" === C "fst" []))
    )
anotherBottleDef =
    Def "anotherBottle" ["b", "q102"] (
      ((V "b" === C "fst" []) &&&
      (V "q102" === C "snd" [])) |||
      ((V "b" === C "snd" []) &&&
      (V "q102" === C "fst" []))
    )