Supply BE() and ASSERT() macros

cfg/daca.cfg

@@ -1,6 +1,9 @@
 <?xml version="1.0"?>
 <def format="2">
   <!-- This configuration is used in daca@home and contains some common practice macros and functions which are helpful for daca analysis. -->
+  <!-- see gnu.cfg -->
+  <define name="define ASSERT(expr)" value="assert (expr)"/>
+  <define name="define BE(expr, val)" value="__builtin_expect (expr, val)"/>
   <function name="MIN">
     <use-retval/>
     <noreturn>false</noreturn>