diff --git a/crypto/func/auto-tests/legacy_tests/whales-nominators/modules/model.fc b/crypto/func/auto-tests/legacy_tests/whales-nominators/modules/model.fc
index 9c28b42a1..9c2fb6f74 100644
--- a/crypto/func/auto-tests/legacy_tests/whales-nominators/modules/model.fc
+++ b/crypto/func/auto-tests/legacy_tests/whales-nominators/modules/model.fc
@@ -137,7 +137,7 @@ int apply_profit(int value, int value_profit, int profit) {
     }
 
     ;; Try to withdraw from withdraw balance
-    if ((remaining > 0) & ctx_member_withdraw > 0) {
+    if (((remaining > 0) & ctx_member_withdraw) > 0) {
         int delta = min(ctx_member_withdraw, remaining);
         ctx_member_withdraw = ctx_member_withdraw - delta;
         ctx_balance_withdraw = ctx_balance_withdraw - delta;
@@ -294,4 +294,4 @@ int owned_balance() {
 
     ;; Reset sent amount
     ctx_balance_sent = 0;
-}
\ No newline at end of file
+}
diff --git a/crypto/func/parse-func.cpp b/crypto/func/parse-func.cpp
index 15794c425..d21fa266a 100644
--- a/crypto/func/parse-func.cpp
+++ b/crypto/func/parse-func.cpp
@@ -793,11 +793,11 @@ Expr* parse_expr75(Lexer& lex, CodeBlob& code, bool nv) {
   }
 }
 
-// parse E { (* | / | % | /% ) E }
+// parse E { ( * | / | % | /% ) E }
 Expr* parse_expr30(Lexer& lex, CodeBlob& code, bool nv) {
   Expr* res = parse_expr75(lex, code, nv);
   while (lex.tp() == '*' || lex.tp() == '/' || lex.tp() == '%' || lex.tp() == _DivMod || lex.tp() == _DivC ||
-         lex.tp() == _DivR || lex.tp() == _ModC || lex.tp() == _ModR || lex.tp() == '&') {
+         lex.tp() == _DivR || lex.tp() == _ModC || lex.tp() == _ModR) {
     res->chk_rvalue(lex.cur());
     int t = lex.tp();
     sym_idx_t name = symbols.lookup_add(std::string{"_"} + lex.cur().str + "_");
@@ -815,7 +815,7 @@ Expr* parse_expr30(Lexer& lex, CodeBlob& code, bool nv) {
   return res;
 }
 
-// parse [-] E { (+ | - | `|` | ^) E }
+// parse [-] E { ( + | - ) E }
 Expr* parse_expr20(Lexer& lex, CodeBlob& code, bool nv) {
   Expr* res;
   int t = lex.tp();
@@ -834,7 +834,7 @@ Expr* parse_expr20(Lexer& lex, CodeBlob& code, bool nv) {
   } else {
     res = parse_expr30(lex, code, nv);
   }
-  while (lex.tp() == '-' || lex.tp() == '+' || lex.tp() == '|' || lex.tp() == '^') {
+  while (lex.tp() == '-' || lex.tp() == '+') {
     res->chk_rvalue(lex.cur());
     t = lex.tp();
     sym_idx_t name = symbols.lookup_add(std::string{"_"} + lex.cur().str + "_");
@@ -852,7 +852,7 @@ Expr* parse_expr20(Lexer& lex, CodeBlob& code, bool nv) {
   return res;
 }
 
-// parse E { ( << | >> | >>~ | >>^ ) E }
+// parse E { ( << | >> | ~>> | ^>> ) E }
 Expr* parse_expr17(Lexer& lex, CodeBlob& code, bool nv) {
   Expr* res = parse_expr20(lex, code, nv);
   while (lex.tp() == _Lshift || lex.tp() == _Rshift || lex.tp() == _RshiftC || lex.tp() == _RshiftR) {
@@ -895,9 +895,30 @@ Expr* parse_expr15(Lexer& lex, CodeBlob& code, bool nv) {
   return res;
 }
 
+// parse E { ( '|' | & | ^ ) E }
+Expr* parse_expr14(Lexer& lex, CodeBlob& code, const bool nv) {
+  Expr* res = parse_expr15(lex, code, nv);
+  while (lex.tp() == '|' || lex.tp() == '&' || lex.tp() == '^') {
+    res->chk_rvalue(lex.cur());
+    int t = lex.tp();
+    const sym_idx_t name = symbols.lookup_add(std::string{"_"} + lex.cur().str + "_");
+    check_global_func(lex.cur(), name);
+    const SrcLocation loc{lex.cur().loc};
+    lex.next();
+    auto x = parse_expr15(lex, code, false);
+    x->chk_rvalue(lex.cur());
+    res = new Expr{Expr::_Apply, name, {res, x}};
+    res->here = loc;
+    res->set_val(t);
+    res->flags = Expr::_IsRvalue;
+    res->deduce_type(lex.cur());
+  }
+  return res;
+}
+
 // parse E [ ? E : E ]
 Expr* parse_expr13(Lexer& lex, CodeBlob& code, bool nv) {
-  Expr* res = parse_expr15(lex, code, nv);
+  Expr* res = parse_expr14(lex, code, nv);
   if (lex.tp() == '?') {
     res->chk_rvalue(lex.cur());
     SrcLocation loc{lex.cur().loc};