SemilinSetNdd: removed explicit tracked offsets, reordered
sequence of projections/intersections in multiplication
semilinSetNdd: little optimization for reading offsets from a graph