bottles :: [Def]
bottles =
  [ addDef
  , greaterDef
  , subDef
  , anotherBottleDef
  , createEnvDef
  , fst'Def
  , snd'Def
  , getCapacityDef
  , fancyEqDef
  , checkStepDef
  , doStepDef
  , isFinishEnvDef
  , checkAnswerDef
  , checkAnswer'Def
  , capacities1Def
  ]
bottles :: [Def]
bottles =
  [ addDef
  , greaterDef
  , subDef
  , anotherBottleDef
  , createEnvDef
  , fst'Def
  , snd'Def
  , getCapacityDef
  , fancyEqDef
  , checkStepDef
  , doStepDef
  , isFinishEnvDef
  , checkAnswerDef
  , checkAnswer'Def
  , capacities1Def
  ]
bottles =
  [ addDef
  , greaterDef
  , subDef
  , anotherBottleDef
  , createEnvDef
  , fst'Def
  , snd'Def
  , getCapacityDef
  , fancyEqDef
  , checkStepDef
  , doStepDef
  , isFinishEnvDef
  , checkAnswerDef
  , checkAnswer'Def
  , capacities1Def
  ]