BinaryExpression, with sub test