Useless equality: Ignore unknown variable values.

The analysis class UselessEqualityChecks should ignore variables of which the
values are not known (e.g. block arguments).

This fixes #101.