PropSimp: start tidying up problem simplification (remove tryProblemSimplify)
PropSimp: start tidying up problem simplification (remove tryProblemSimplify)
kwangkim/pigment,kwangkim/pigment,kwangkim/pigment,brixen/Epigram