encode comparison with bit vectors