changed behaviour of mainCNFtest slightly in advance of worksops
added my test files in fase1_io