statistics isolated
statistics code isolated
Packed the seen arrays (for clauses and varaibles) in the archetypes.