evTree does not handle ImpossibleCase
Check the type of a proof matches the type of the goal!
Merge pull request #218 from raichoo/master

trivial fix