Update Expression.java

Added a ~ condition to expHelper to include cases like (~(p=>q)).

Added isEquals cases to eliminate NullPointerExceptions