fix bv_ex subtriadic - #128