little speedup in semilinSetNdd::star()