Update ExpressionTest.java

Added test cases. Removed the case of (p*q) because this should be in an incorrect expressions case (i.e. I like seeing the green bar).

Added tests for isApplicable (for theorems). Test the example theorems from the spec.
Merge pull request #12 from chashemi/patch-10

CH: Update ExpressionTest.java