semilinear: migrate to improved SparseVec
pseudo_linear: new experimental abstract domain