Investigate non-termination in computeEqCondition

[travitch]

There is now a gas parameter to force termination, but there have been cases that tickle non-termination that we really should investigate. It should in principle terminate, so the fact that it doesn't always is alarming.