add example for bif evaluation