add nose for testing CFchecker