13.01.02_1

Small fixes in algorithms.
Added generator for creating exercises for the proof finder.