Implemented useless caseof elimination

I mean caseofs with equal branches in total setting.
Also enables caseCaseTotal, but it is useless with useless caseof
elimination, I should replace it with something else.
Also organized eqproverappsuite