cleanup
rename smoke files to treat failing compilation (NOK) files differently
from (OK) files
remove unused type
Implemented correlation contexts and actions
more testing