A few more tests around boolean binexprs