add BinaryExpression<Ec>
add shiftRight
add BinaryExpression<Ec>