Adds prediction functionality to NDProofs and Stress testing programs
Removes nonsense file