PropSimp: start tidying up problem simplification (remove tryProblemSimplify)
PropSimp: start tidying up problem simplification (remove tryProblemSimplify)

mietek/epigram2,mietek/epigram2,larrytheliquid/pigit