fixed seg fault when bv equality is turned off