23
if wSupCnt ( M , D ) > 0 then
24
D vert [ N ] ⇐ D vert [ N ] ∪ { ( m , C ) }
25
AbNI ⇐ AbNI ∪ AbNIMiner ( D vert [ N ] , N , λ )
26
return AbNI