added a little more meaningful task weighting to primsubst task
added a little more meaningful task weighting to primsubst task

lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III