MAFIA: HUTMFI (Check head-union-tail in the MFI)

HUTMFI (Current node C, MFI) {

HUT = C.head union C.tail;

if HUT is in the MFI

Stop searching and return

For each item i in C.tail {

newNode = C union {i}

if newNode is frequent

HUTMFI (newNode, MFI)

}

if (C is a leaf and C.head is not in MFI)

Add C.head to MFI

}