added more general slicing to bv algebraic solver