annotate binary_op1