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

Draft

ChristianHein wants to merge 2 commits into

KeYProject:mainfrom

ChristianHein:hein/bitwiseOperatorDefinitions

Commits on Jun 19, 2023