createEnvDef :: Def
createEnvDef =
    Def "createEnv" ["bottle", "lvl1", "lvl2", "q99"] (
      ((V "bottle" === C "fst" []) &&&
      (V "q99" === C "pair" [V "lvl1", V "lvl2"])) |||
      ((V "bottle" === C "snd" []) &&&
      (V "q99" === C "pair" [V "lvl2", V "lvl1"]))
    )
createEnvDef :: Def
createEnvDef =
    Def "createEnv" ["bottle", "lvl1", "lvl2", "q99"] (
      ((V "bottle" === C "fst" []) &&&
      (V "q99" === C "pair" [V "lvl1", V "lvl2"])) |||
      ((V "bottle" === C "snd" []) &&&
      (V "q99" === C "pair" [V "lvl2", V "lvl1"]))
    )
createEnvDef =
    Def "createEnv" ["bottle", "lvl1", "lvl2", "q99"] (
      ((V "bottle" === C "fst" []) &&&
      (V "q99" === C "pair" [V "lvl1", V "lvl2"])) |||
      ((V "bottle" === C "snd" []) &&&
      (V "q99" === C "pair" [V "lvl2", V "lvl1"]))
    )