reverting the unused public method of Exit notifier to protected again
improved the correctness experiment to catch the exception + determinist finder added + saveSfgIndb method implementd +