Removed the possibility to use a file stored set during the proof