Update Expression.java

Added a ~ condition to expHelper to include cases like (~(p=>q)).

Added isEquals cases to eliminate NullPointerExceptions
Merge pull request #4 from chashemi/patch-1

CH: Update Expression.java