Check basic BinExpression