Add test code that make sure of validity of NNF

confirm NNF does not use missing regions patch
Delete RandomSearch temporary, and modify propagation logic
avoids propagation to pickup missing region's patch, but still buggy
temporary commit