Analyser: allow for the unknown variable to be either on the LHS or RHS of an equation

[agarny]

Right now, the analyser expects the unknown variable in an equation to be on the LHS, i.e.

x = ...

However, we should also support the case where it is on the RHS, i.e.

... = x