[plt-scheme] redex is great

I forgot the line ((nf1? V) #t) in nf1?.
I should have tested nf1? and nf2? :)
Even testing procedures must be tested.
Jos