Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file#6301

keyboardDrummer merged 3 commits intodafny-lang:masterdafny-lang/dafny:masterfrom

keyboardDrummer:refactorBoogieGeneratorkeyboardDrummer/dafny:refactorBoogieGeneratorCopy head branch name to clipboard