check casted expressions
adding tom's test
Merge pull request #170 from ucsd-progsys/totality

check casted expressions