add method for isBBuiltInOp check

src/main/java/de/tla2b/analysis/PredicateVsExpression.java

src/main/java/de/tla2b/analysis/TypeChecker.java

src/main/java/de/tla2b/global/BBuiltInOPs.java

...main/java/de/tla2b/translation/UsedDefinitionsFinder.java

src/main/java/de/tla2bAst/BAstCreator.java

src/main/java/de/tla2bAst/ExpressionTranslator.java