Draft: Add definition taclets for binaryAnd, binaryOr, and binaryXOr#3174

ChristianHein wants to merge 2 commits intoKeYProject:mainKeYProject/key:mainfrom

ChristianHein:hein/bitwiseOperatorDefinitionsChristianHein/key:hein/bitwiseOperatorDefinitionsCopy head branch name to clipboard