close #9 Add bifunction assertion