Checks if the provided expressions can never be equal. For example, two unequal theory interpreted constants cannot be equal.
true if expressions are unequal and false if equality cannot be checked.